преобразование числа в строку

[Mortimoro]

мне нужно произвольное целое число привести к виду строки, состоящей из 12 символов и двух нулей в конце, то есть число 12 показать как '000000001200', число 20876 показать как '000002087600' и т.д.

я так подозреваю, что для этого дела предусмотрена какая-то функция и можно в одну строку уложиться, но чот не соображу как правильно загуглить...

пока что мне в голову пришел только изврат в виде получения длины строки и конкатенации двух нулей сзади, и недостающих нулей спереди, но это как-то абсолютно не кошерно.

[Andkorol]

Сообщение от Mortimoro

нужно произвольное целое число привести к виду строки, состоящей из 12 символов и двух нулей в конце, то есть число 12 показать как '000000001200', число 20876 показать как '000002087600' и т.д.

PHP код:

$num = 20876;
echo sprintf('%012d', $num . '00');
// 000002087600 


[Mortimoro]

когда я задавал вопрос, с точностью 99,9% знал:
1.это таки делается в одну строку.
2.именно Andkorol подкинет решение )))

благодарю, ты гений!

[Andkorol]

Сообщение от Mortimoro

ты гений!

Если бы...
Просто мануал почитывать не ленюсь...

[Mortimoro]

ну вот я теперь тоже почитал, понял что надо было гуглить на тему "дополнение нулями", а сразу не сообразил.