How to convert an Int to a String of a given length with leading zeros to align?

Question

How can I convert an Int to a 7-character long String, so that 123 is turned into \"0000123\"?

Answer 1

huynhjl beat me to the right answer, so here's an alternative:

"0000000" + 123 takeRight 7