toJSON(type(half))
