Rational arithmetic
= Rational arithmetic
Exact arithmetic on <rational numbers> represented by <integer> numerators and nonzero <integer> denominators. Common factors can be removed with the <greatest common divisor>. Exact <rational arithmetic> avoids rounding error when deciding equality or integrality.