ANSI Common Lisp   12 Numbers   12.1 Number Concepts

12.1.3 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