def Rational.norm
import bend-kit-bignum@0.1.0.0/rational.bend as Rationalimport Base
import bend-kit-bignum@0.1.0.0/bigint.bend as Big
import bend-kit-bignum@0.1.0.0/decimal.bend as Dec
16# n / d for a nonzero d.
17def Rational.norm(n: Big.BigInt, d: Big.BigInt) -> Rational:
18 Rational.low(Dec.Decimal.lowest(n, d))