Floating-point representation

David M. Warme David at Warme.net
Thu May 13 18:44:35 UTC 2021

Consider the floating-point representation

     m * b**e

where m, b and e are integers and b >= 2 is a fixed constant.
(The mantissa m could be a GMP integer, and e a fixed-precision
signed integer.)

The normalization rule is that the mantissa m is either zero
or not divisible by b.  (For the usual case of b = 2, the
mantissa m is either zero or an odd integer.)

This representation supports add, subtract and multiply with
no rounding error.

Q1: Does this representation have a well-defined name (especially
     for the b = 2 case)?

Q2: If so, does anyone have a reference in the literature?

More information about the gmp-discuss mailing list