with
     any_Math.any_Arithmetic;


package      float_Math.Arithmetic is new float_Math.any_Arithmetic;
pragma Pure (float_Math.Arithmetic);