Good point, I think I might borrow some of the wording from the JSON spec (I think it's the working draft version) about floating points.  I'd say we only support IEEE 754-2008 binary64 (double precision) numbers, but implementations are free to support more than that if they want.