with Math_Lib;
package Float_Math_Lib is new Math_Lib (Float);