あれ？

#include <stdio.h>

main(void)
{
float d = 10.0/3*3;
printf("%f", d);
}

でも、10.0になるな。
俺の勘違いか。