set number 7.342
format "%08.3f" $number