Fixes issue #1888; Correct comparison of floats