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 do

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.