RealFloat package:Boolean

Deep embedded version of RealFloat. Efficient, machine-independent access to the components of a floating-point number. A complete definition has to define all functions.