Change rules for floating point comparisons