Printf and awk

AWK

cat input | awk '{printf "%9.6f %9.6f %9.6f\n", $1, $2, $3}' > output