Expand description
Dyadic rationals: the exact tier.
A dyadic number is mantissa * 2^exponent with a big-integer mantissa.
Every finite f64 is one exactly, and the set is closed under +, -
and *, so any polynomial in f64 inputs has an exact dyadic value and
an exact sign. Division is deliberately absent (ADR 0068): callers clear
denominators instead.
Values are kept normalised – the mantissa odd, or zero with exponent 0 – so equal values have equal representations and mantissas stay as short as the value allows.
Structs§
- Dyadic
- An exact value
mantissa * 2^exponent.