I think it commutes even when one or both inputs are NaN? The output is always NaN.
NaNs are distinguishable. /Which/ NaN you get doesn't commute.
NaNs are distinguishable. /Which/ NaN you get doesn't commute.