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.