nir/algebraic: Simplify a contradiction that can occur in __flt64_nonnan