Be careful on NaN-floating point tests