numeri decimali piccoli, alla fine E-05

[marketto]

$num=9.5129013061523E-05;
echo sprintf('%01.10f',$num);