Is there a case involving NaN where they are not commutative? Do you mean getting a different bit-level representation of NaN?

In practical use for simd, various min/max operations. On Intel at least, they propagate nan or not based on operand order