type(div != half)
