with
     any_Math;


package      short_Math is new any_Math (Real_t => short_Float);
pragma Pure (short_Math);