Task

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.




import Text.Printf
main =
  printf "%09.3f" 7.125