Carlos Salinas de Gortari hizo eso hace muuuucho tiempo con el peso mexicano, a ver si alguien le avisa para que venga y nos de algunos tips.
Una opcion mas sencilla es:
echo 3333/1000;
Claro, suponiendo que quieras dividir el numero entre mil, porque a falta de una explicacion mas adecuada de tus necesidades no creo que requieras el uso de la funcion
number_format().
Edicion: Que feo es tardar tanto escribiendo una respuesta.
