RealFloat package:base

Efficient, machine-independent access to the components of a floating-point number.
Formatter for RealFloat values.