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
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