json now maps numbers to strings