with
     any_Math.any_fast_Rotation;


package float_Math.fast_Rotation is new float_Math.any_fast_Rotation;