Thanks for the correction Russ. I was misled by the Wikipedia page about JSON.
I think it is safe to say, though, that interpreting all JSON numbers as double-precision is sufficient to be a usable JSON parser, since that what common implementations do.