blob: 491e3b5e3a6b6804497869fc47692c6e67ed6f0c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
--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
|