JSON should be able to represent ints