ParentFull threadSetTheorist·Nitpick: I think you mean that FP arithmetic is not _associative_ rather than non-commutative.Commutative: A+B = B+A Associative: A+(B+C) = (A+B)+CView on HN