- var_dump: documentation ( source)
- json_decode: documentation ( source)
- unserialize: documentation ( source)
- serialize: documentation ( source)
- ini_set: documentation ( source)
- json_encode: documentation ( source)
- ini_get: documentation ( source)
<?php
$initial_precision = ini_get('precision');
// JSON
echo "JSON\n";
$j = '{ "v": 0.1234567890123456789 }';
echo "precision: " . $initial_precision . "\n";
var_dump(json_encode(json_decode($j)));
ini_set('precision', 30);
$d = json_decode($j);
var_dump(json_encode(json_decode($j)));
var_dump($d->v);
// SERIALIZE
echo "SERIALIZE\n";
$a = 0.1234567890123456789;
echo serialize($a) . "\n";
echo "-- UNSERIALIZE\n";
ini_set('precision', $initial_precision);
echo "precision: " . ini_get('precision') . "\n";
$s = "d:0.1234567890123456789;";
var_dump(unserialize($s));
// ini precision for var_dump
ini_set('precision', 30);
echo "precision: " . ini_get('precision') . "\n";
var_dump(unserialize($s));
// serialize precision
echo "serialize_precision: " . ini_get('serialize_precision') . "\n";
echo "-- SERIALIZE\n";
echo serialize(unserialize($s)) . "\n";
ini_set('serialize_precision', 30);
echo "serialize_precision: " . ini_get('serialize_precision') . "\n";
echo serialize(unserialize($s)) . "\n";