Formateo de números con ceros a la izquierda en PHP

¡Hola a todos! Soy nuevo en PHP y me encontré con este problema. Necesito mostrar números de pedido en el formato "0001", "0012", "0123" y así sucesivamente. Es decir, que el número siempre ocupe 4 caracteres, y los dígitos faltantes se rellenen con ceros a la izquierda. Intenté simplemente concatenar cadenas, así: ```php $orderNumber = 1; echo "000" . $orderNumber; // muestra "0001" ``` Pero esto solo funciona para números del 1 al 9. Si el número se convierte en 10, se obtiene "00010", pero se necesita "0010". Si es 100 — "000100" en lugar de "0100". En fin, un completo desastre. Sé que en PHP existe la función str_pad(), pero no entiendo bien cómo aplicarla correctamente para números. Lo intenté así: ```php $num = 7; echo str_pad($num, 4, "0"); ``` Parece que funciona, pero no estoy seguro de que sea la mejor manera. ¿Quizás hay funciones integradas específicamente para formatear números? ¿O algunos detalles que no conozco? Por ejemplo, ¿qué hacer si el número ya tiene más de 4 dígitos? ¿O si es un número decimal? Por favor, indíquenme cómo hacerlo.