use locale;
printf("%f\n", 1234.12);