(printf "%09.3f" 7.125) ; format works the same way (without side the effect of printing)