factory Rational.intFraction(int numerator, int denominator) { return Rational.fraction(BigInt.from(numerator), BigInt.from(denominator)); }