Library Float.AllFloat
Require
Export
ClosestMult
.
Require
Export
Closest2Plus
.