Library AllFloat

Require Export ClosestMult.
Require Export Closest2Plus.