3v4l.org

run code in 300+ PHP versions simultaneously
<?php $val = ["12345", PHP_INT_MAX . "00"]; var_dump($val); echo "\n"; var_dump(json_encode($val)); echo "\n"; var_dump(json_encode($val, JSON_NUMERIC_CHECK));

preferences:
40.57 ms | 402 KiB | 5 Q