How to format a number into a const width string ?
For example, if n is 12345, it is formatted to "12345", if n is 123, it is formated to "00123", if n is 0, it is formatted to "00000".
thanks!