C语言中7/3=2.3要得到2.3应该怎么做

double a = (double) 7 / 3;
printf("%.1f", a);