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.