printf("%.3f", 3.1415926535);       # prints 3.142