Formato de numero.??? php

[Mr.Zeros0]

Si quisiera formatear un numero con 4 digitos siempre como lo haria en php?
ejemplo:

"0023" + 1= "0024" , pero que siempre me ponga esos 0!... existe algun tipo de funcion?
Gracias

[Hans el Topo]

supongo que con number_format se podrá hacer