Formatproblem bei Zahlen (Tausender-Punkt)

[gondor]

Hallo!

Wie kann ich bei Zahlen den 'Tausender-Punkt' setzen?

z.B.

2855 -> 2.855
12444 -> 12.444
305433 -> 305.433

gibt es unter PHP eine geeigenete Funktion? Bin leider nicht fündig geworden...

Danke für Hilfe,

gondor(..)