Description:
------------
json_decode on a large int causes incorrect parse. In the instance below, json_decode produces a negative int.

*Note putting quotation marks around the int resolves the issue... although this should not be necessary.

Reproduce code:
---------------
<?
$string='{"test_int": 102000000000008277}';
$data = json_decode($string,true);
print_r($data);
?>

Expected result:
----------------
Array ( [test_int] => 102000000000008277 )

Actual result:
--------------
Array ( [test_int] => -1491656619 )