>>389
こんな方法もあるよ
#include<stdio.h>
#include<math.h>

int main(void){
double x=1.234567890123456789;

printf("%.12f\n", x);
x-=fmod(x, 1e-10);
printf("%.12f\n", x);

return 0;
}