[#14] EXAMPLE 5 Rearrangement for floating-point expressions

is often restricted because of limitations in precision as

well as range. The implementation cannot generally apply

the mathematical associative rules for addition or

multiplication, nor the distributive rule, because of

roundoff error, even in the absence of overflow and

underflow. Likewise, implementations cannot generally

replace decimal constants in order to rearrange expressions.

In the following fragment, rearrangements suggested by

mathematical rules for real numbers are often not valid (see

F.8).