printf "%09.3f\n", 7.125;