Formatted numeric output

printf("%09.3f\n", 7.125)

or

say ("%09.3f" % 7.125)

Output:

00007.125