The rules in this section apply to rational computations.
12.1.3.1 Rule of Unbounded Rational Precision
12.1.3.2 Rule of Canonical Representation for Rationals
12.1.3.3 Rule of Float Substitutability