Unbounded positive rational numbers, based on [Natural] numbers for the fraction.
0
Convert from a safe JS integer (< 2^53) to [RationalNat], using 1 for the denominator.
This has the same limitations than the [Natural] function with the same name.
Addition
Remark that the denominator part will grow due to exact computation. Not simplification is performed.
Multiplication
Remark that the denominator part will grow due to exact computation. Not simplification is performed.
Return the integer part of that rational number.
Return [Nothing] if the denominator is 0.
Unbounded positive rational numbers, based on [Natural] numbers for both sides of the fraction.