/proc/3430793/root/usr/local/lsws/phpbuild/php-8.0.7/ext/json/tests/ Current File: //proc/3430793/root/usr/local/lsws/phpbuild/php-8.0.7/ext/json/tests/bug41567.phpt

--TEST--
Bug #41567 (json_encode() double conversion is inconsistent with PHP)
--INI--
serialize_precision=-1
--FILE--
<?php

$a = json_encode(123456789.12345);
var_dump(json_decode($a));

echo "Done\n";
?>
--EXPECT--
float(123456789.12345)
Done