robust comparison of floats