RealFloat package:hedgehog

Efficient, machine-independent access to the components of a floating-point number.
Generates a random floating-point number in the [inclusive,exclusive) range. This generator works the same as integral, but for floating point numbers.