(format "%09.3f" 7.125)
=>
"00007.125"