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