PHP добавить ведущие нули к числу

Допустим нам необходимо постоянно иметь 10ти значное число.
И даже если приходит 5ти (или любое меньше 10ти), нам нужно добавить нули слева (или справа).

Рассмотрим на примере как это сделать:

<?php
$number = '401';
echo str_pad($number, 10, '0', STR_PAD_LEFT);
// выведет "0000000401"