Есть ли специальное название для чисел в формате 001.
Например, число 20 будет 020, а 1 - 001.
Трудно гуглить, когда не знаешь чьего-то имени!
Поскольку я уже зря трачу время ваших ребят, знает ли кто-нибудь функцию для преобразования чисел в этот формат.