
Allegro CL 
ANSI Common Lisp 12 Numbers 12.1 Number Concepts 12.1.3 Rational Computations
12.1.3.1 Rule of Unbounded Rational PrecisionRational computations cannot overflow in the usual sense (though there may not be enough storage to represent a result), since integers and ratios may in principle be of any magnitude. 