Use a JSON encoder