fix an assertion of floating-point comparison