| files >> /opt/php-7.0.1/ext/json/tests/ |
| files >> //opt/php-7.0.1/ext/json/tests/bug41567.phpt |
--TEST--
Bug #41567 (json_encode() double conversion is inconsistent with PHP)
--INI--
precision=14
--SKIPIF--
<?php if (!extension_loaded('json')) print 'skip'; ?>
--FILE--
<?php
$a = json_encode(123456789.12345);
var_dump(json_decode($a));
echo "Done\n";
?>
--EXPECT--
float(123456789.12345)
Done
y~or5J ={Eeu磝Qk ᯘG{?+]ן?wM3X^歌>{7پK>on\jy R g/=fOroNVv~Y+ NGuÝHWyw[eQʨSb> >}Gmx[o[<{Ϯ_qF vM IENDB`