Comment by tomsmeding

Nitpick, but IEEE float operations are commutative (when relevant and appropriate). Associative and distributive they indeed are not.