On: Take care, it's Floating Point Arithmetic

[VMG]

This paper is referenced in a newsgroup discussion: http://dl.acm.org/citation.cfm?id=156301.156303

http://newsgroups.derkeiler.com/Archive/Comp/comp.lang.funct...

[ColinWright → VMG]

So quoting from the discussion:

    Oh, of course: for non-NaNs, correctly implemented IEEE
    arithmetic is "exactly rounded". So addition of non-NaNs
    must be commutative for any given rounding rule, ...