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