with
     any_Math;


package      long_Math is new any_Math (Real_t => long_Float);
pragma Pure (long_Math);