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
