Allows algebraically equivalent optimizations (which can alter the results of calculations), it implies: optimizations can assume results and arguments contain no NaNs or +/- Infinity and treat sign of zero as insignificant. optimizations can use reciprocals - 1/x * y, instead of y/x. optimizations can use fused instructions, e.g. madd.

Fast = 3