<?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));
- Output for 7.1.0 - 7.1.20, 7.2.0 - 7.2.33, 7.3.16 - 7.3.33, 7.4.0 - 7.4.33, 8.0.0 - 8.0.30, 8.1.0 - 8.1.28, 8.2.0 - 8.2.18, 8.3.0 - 8.3.6
- array(2) {
[0]=>
string(5) "12345"
[1]=>
string(21) "922337203685477580700"
}
string(33) "["12345","922337203685477580700"]"
string(29) "[12345,9.223372036854776e+20]"
- Output for 5.5.0 - 5.5.38, 5.6.0 - 5.6.28, 7.0.0 - 7.0.20
- array(2) {
[0]=>
string(5) "12345"
[1]=>
string(21) "922337203685477580700"
}
string(33) "["12345","922337203685477580700"]"
string(27) "[12345,9.2233720368548e+20]"
preferences:
207.99 ms | 402 KiB | 223 Q