#

## 12.1.4 Floating-point Computations

The following rules apply to floating point computations.

## 12.1.4.1 Rule of Float and Rational Contagion

## 12.1.4.2 Rule of Float Approximation

## 12.1.4.3 Rule of Float Underflow and Overflow

## 12.1.4.4 Rule of Float Precision Contagion

The following X3J13 cleanup issue, not part of the specification, applies to this section:

- CONTAGION-ON-NUMERICAL-COMPARISONS:TRANSITIVE

Copyright 1996-2005, LispWorks Ltd. All rights reserved.