Fixed #5142 (False positive with floating-point special cases in conditions)