Zahlenformatierung mit führenden Nullen in PHP

Hallo zusammen! Ich bin neu in PHP und habe ein Problem. Ich muss Bestellnummern im Format "0001", "0012", "0123" usw. ausgeben. Das heißt, die Zahl soll immer 4 Zeichen lang sein, und fehlende Stellen werden links mit Nullen aufgefüllt. Ich habe versucht, einfach Strings zu verketten, wie: ```php $orderNumber = 1; echo "000" . $orderNumber; // gibt "0001" aus ``` Aber das funktioniert nur für Zahlen von 1 bis 9. Wenn die Zahl 10 wird, erhalte ich "00010", aber ich brauche "0010". Bei 100 — "000100" statt "0100". Kurz gesagt, völliger Unsinn. Ich weiß, dass es in PHP die Funktion str_pad() gibt, aber ich verstehe nicht ganz, wie ich sie richtig für Zahlen anwende. Ich habe es so versucht: ```php $num = 7; echo str_pad($num, 4, "0"); ``` Es scheint zu funktionieren, aber ich bin nicht sicher, ob das der beste Weg ist. Gibt es vielleicht eingebaute Funktionen speziell für die Zahlenformatierung? Oder irgendwelche Feinheiten, die ich nicht kenne? Zum Beispiel, was mache ich, wenn die Zahl bereits mehr als 4 Stellen hat? Oder wenn es eine Dezimalzahl ist? Bitte sagt mir, wie ich