printf("%09.3f\n", 7.125);