Improve some floating-point comparisons