type(half == div)
