json_parse now throws a Json_Parse_Error for numbers whose parsing produces a range error