JSON Profile and the Integer Data-Type

Hi David,

I'm not sure how to interpret this description of values of the integer
data-type in section 3.4.1 of the JSON profile:

    JavaScript ”Number” with no fractional portion and within integer range

By referencing JavaScript it seems to be suggesting that a JSON number should
be parsed as a double and treated as an integer if that double value is a whole
number in the range of a 53-bit integer value. If that is the case, then 1.23e3
is an integer value and 9223372036854775807 is a double value. Can you clarify
what you intended ?

Regards,
Steven