i <= half(-1)
