half(1 - 1)
