This module contains rewrite rules that may change the lowest order bits of a computation. They take advantage of:

• distributivity
• repeated addition/multiplication
• exponentiation rules

All of these RULES should be safe in the presence of NaN and Infinity

Importing this module is similar to compiling with gcc's -funsafe-math-operations.