Expand description
Exact rational numbers (BigRational) over BigInt.
A BigRational is a numerator / denominator pair that is always kept:
- reduced to lowest terms via gcd, and
- sign-normalised so the denominator is strictly positive (the sign lives in the numerator).
Construction with a zero denominator fails closed (None); division by a
zero rational likewise returns None. No value is ever fabricated.
Structsยง
- BigRational
- Exact rational number with arbitrary-precision numerator and denominator.