PHP: Format schwimmt mit bestimmten Präzision in json_encode() Funktion

Question

There was meine Frage (zunächst nicht so genau formuliert):

Ich brauche PHP schwimmt in JSON-String zu verwenden. Code:

$obj['val'] = '6.40'; 
json_encode($obj); 

umgewandelt wird:

{"val": "6.40"} 

Es ist OK - ich String-Wert '6.40' in PHP und ich String-Wert "6.40" in JSON haben.

Die Situation ist nicht so gut, wenn ich Schwimmer verwenden müssen:

$obj['val'] = 6.40; 
json_encode($obj); 

umgewandelt wird:

{"val": 6.4000000000000004} 

aber ich brauche:

{"val": 6.40} 

Wie kann ich konvertieren PHP schwebt zur JSON-Nummer in 'json_encode' mit gegebener Genauigkeit?

Answer 1

... und das ist meine eigene Antwort:

<?php 
$obj['val'] = 6.40; 
$out = json_encode($obj); 
echo $out; // {"val":6.4} 

ini_set('precision', 17); 
$obj['val'] = 6.40; 
$out = json_encode($obj); 
echo $out; // {"val":6.4000000000000004} 

ini_set('precision', 2); 
$obj['val'] = 6.40; 
$out = json_encode($obj); 
echo $out; // {"val":6.4} 

Dies ist ein Beispiel für @axiac:

ini_set('precision', 4); 
$obj['val'] = 1/3; 
$out = json_encode($obj); 
echo $out; // {"val":0.3333}