formato numero

Pessoal ja procurei por tudo que é conto mas não acho !!

tem uma função que seta pro PHP qual vai ser o formato padrão dos números com decimais tipo "12.300,00"

alguém sabe me dizer qual função é esta ??