|
|
1.1 misho 1: --TEST--
2: Bug #41567 (json_encode() double conversion is inconsistent with PHP)
3: --INI--
4: precision=14
5: --SKIPIF--
6: <?php if (!extension_loaded('json')) print 'skip'; ?>
7: --FILE--
8: <?php
9:
10: $a = json_encode(123456789.12345);
11: var_dump(json_decode($a));
12:
13: echo "Done\n";
14: ?>
15: --EXPECT--
16: float(123456789.12345)
17: Done