xref: /PHP-7.4/ext/json/tests/bug41567.phpt (revision 782352c5)
1--TEST--
2Bug #41567 (json_encode() double conversion is inconsistent with PHP)
3--INI--
4serialize_precision=-1
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