- var_export: documentation ( source)
- ini_get: documentation ( source)
- number_format: documentation ( source)
<?php
echo var_export(20 / 3 * 1e6, true) . "\n";
echo var_export(6.66, true) . "\n";
echo var_export(6.0, true) . "\n";
echo number_format(20/3, ini_get('precision'), '.', '');