Printf.printf "%09.3f\n" 7.125