У кого короче

Одному из коллег понадобилось вывести число с ведущими нулями, чтобы получилось вот такое:

 1       => 001 23      => 023 456     => 456 7.89    => 007.89 12345.6 => 12345.6 

В его случае требовалось иметь минимум три цифры в целой части. Мы с другим коллегой крепко призадумались, как ему помочь… Через 10 минут накидали десяток вариантов, естественно, сравнивая, чей быстрее. В конце концов нашли быстрое решение, но нам этого показалось мало. «Давай, у кого короче!» В итоге полдня мы провели с пользой, остановившись на достаточно лаконичном варианте. Но в сердце тлеет огонёк надежды, что удастся сэкономить ещё пару байт драгоценного дискового пространства.

Не хочется сразу выкладывать наш вариант, точнее два, напишу пока

без учета описания функции и return. Грубо говоря, решение — набор операторов, делающих из $a (число, которое нужно преобразовать) и $b (число цифр в целой части) некое $c, требования к которому описаны выше.

Конечно, будет интересно рассмотреть решения и на других языках.