USE: formatting
7.125 "%09.3f\n" printf