1--TEST-- 2Bug #63737 (json_decode does not properly decode with options parameter) 3--FILE-- 4<?php 5function decode($json) { 6 $x = json_decode($json); 7 var_dump($x); 8 $x = json_decode($json, false, 512, JSON_BIGINT_AS_STRING); 9 var_dump($x); 10} 11 12decode('123456789012345678901234567890'); 13decode('-123456789012345678901234567890'); 14 15// This shouldn't affect floats, but let's check that. 16decode('123456789012345678901234567890.1'); 17decode('-123456789012345678901234567890.1'); 18 19echo "Done\n"; 20?> 21--EXPECT-- 22float(1.2345678901234568E+29) 23string(30) "123456789012345678901234567890" 24float(-1.2345678901234568E+29) 25string(31) "-123456789012345678901234567890" 26float(1.2345678901234568E+29) 27float(1.2345678901234568E+29) 28float(-1.2345678901234568E+29) 29float(-1.2345678901234568E+29) 30Done 31
