Library Float.AllFloat

Require Export ClosestMult.
Require Export Closest2Plus.