correct test for floating-point equality