Nein, number_format() bietet keine führenden Nullen.
und auch jede andere php-funktion, die irgendwie zahlen formatieren kann - es bleibt lediglich übrig, den datentyp zu ändern und die zahl als string zu formatieren - zwei möglichkeiten wurden ja bereits genannt