half(0.5) <= i
