with
     any_Math;

package      float_Math is new any_Math (Real_t => Float);
pragma Pure (float_Math);