toJSON(half == div)
