type(div == half)
