nir: Simplify 0 >= b2f(a)