Problem with big int

[piotrooo]

Following code:

$json = '{"int_overflow":9223372036854775807}';
$decoder = new JsonDecoder();
$decode = $decoder->decode($json);

Throws exception: json_decode(): integer overflow detected. This should be translate from a big int to the string value.

[peter279k]

It looks like it's the big integer issue.
I think we can convert this big integer to the string and it will not happen this issue.