Should “a” be number or a string in the resulting JSON?
And if it’s number, how can I tell it to output a string?