not (half == div)
