Why is this called TO_JSON rather than toJSON or to_json?