lace/1-base/math/source/precision/float/utility/float_math-random.ads

with
     any_Math.any_Random;


package float_Math.Random is new float_Math.any_Random;