toJSON(string(half))
