[lolpanda]

Good point. it's not a problem with JSON. It's just that most of the JSON libraries by default parse numbers into floats.