with
     any_Math.any_Random;


package float_Math.Random is new float_Math.any_Random;