How about using something like this:

set i 7.14123
set j 3
set k [format "%.*f" $j $i]

Where you can set j to be any number of decimal places to pad to.