string(half != div)
