Zahl formatieren (aus 1 mach 01)

[suit]

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