- var_dump: documentation ( source)
- json_decode: documentation ( source)
<?php
$small_num = '9999';
$large_num = '9999999999999999999999999999999';
$arr = (array)json_decode("{\"$large_num\":\"1\",\"$small_num\":\"1\"}");
var_dump($arr);
var_dump(array(
'isset_small_num_key' => isset($arr[$small_num]),
'isset_large_num_key' => isset($arr[$large_num]),
));