printf ("%09.3f", 7.125)