toJSON(half != nil)
