- ini_set: documentation ( source)
- json_encode: documentation ( source)
- ini_get: documentation ( source)
<?php
function pf() {
echo "> String concat: " . (0.2+0.1)."\n> Plain echo: ";
echo 0.2+0.1;
echo "\n> JSON serialization: " . json_encode(0.2+0.1) . "\n";
}
echo "Defaults (precision: " . ini_get('precision') . ", serialize precision: " . ini_get('serialize_precision') . ")\n";
pf();
echo "Precision set to -1 (old value: " . ini_set('precision', -1) . ")\n";
pf();
echo "Serialize precision set to 14 (old value: " . ini_set('serialize_precision', 14) . ")\n";
pf();