Problem Statement

Express a number in decimal as a fixed-length string with leading zeros.

For example, the number   7.125   could be expressed as   00007.125.

Let's start with the solution:

needs values
value n
123 to n

2 import printf
" %08d" n printf