так же, как и выше, но мой поворот:
function mod_numberformat($num){
// find & cache decimal part
$pos = strpos($num, '.');
$decimal = $pos !== false ? substr($num, $pos) : '';
// format number & avoid rounding
$number = number_format($num, 9);
// strip new decimal part & concatenate cached part
$number = substr($number, 0, strpos($number, '.'));
$number .= $decimal;
return $number;
}