1
0
mirror of https://github.com/php/php-src.git synced 2026-03-24 16:22:37 +01:00
Files
archived-php-src/ext/json/tests/bug41567.phpt
2020-05-28 15:07:47 -04:00

16 lines
246 B
PHP

--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