Fixes the equality tests which were suggesting a pos? replacement for <= x 1 . This rule was removed in ab491e3 as it didn't work for float comparison.