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