[toolslive]

You're right. it's non-associativity in disguise. You might not like the next example neither:

    NaN + 1 <> 1 + NaN 

(as NaN <> NaN)

IIRC it also breaks down with signed zeros.