i <= half(0.5)
