1 2 3 4
<?php $v = json_decode('{"a":0.123456789}'); printf("%f\n",$v->a); printf("%s\n",strval($v->a));
1 2
0.123457 0.123456789