- var_dump: documentation ( source)
- json_decode: documentation ( source)
- ini_set: documentation ( source)
<?php
$data = json_decode('{"value": 4565.85}');
echo $data->value."\n";
var_dump($data->value)."\n";
ini_set('precision', 20);
echo $data->value."\n";
var_dump($data->value)."\n";