json_serialization: Use `to_json` to escape characters.