This renders numbers as strings in the JSON, with enclosing double quotes. Is that intentional?