puoi cambiare la visualizzazione e non il dato.

codice:
echo number_format(7.212549588184E-012,100,".",",");

ciao ciao