[php] Formatieren von Zahlen

[Wolfgang Welters]

Hallo,

ich habe ein Problem bei der Formatierung von Zahlen.
Ich formatiere Zahlen in das deutsche Format:

<?
$X1 = 999999.999;
$X1 = number_format($X1,2,",",".");
?>

Nach der Ausgabe im Browser: <? echo  "$X1"  ?>
möchte ich diese Zahl in eine Formel einbauen.

Wie wandelt man die Zahl wieder zurück, damit die deutsche
Tausender-Teilung nicht als englische Dezimalstelle er-
kannt wird?
Wo finde ich evtl. zum Thema 'Zahlenformate' mehr Infos?

Gruß

Wolfgang