double型でわからないところがあります。

double d1;
d1 = 5 / 2;
printf ("d1 = %f", d1)

これを実行するとd1が2.500000ではなく2.000000となるのは、
5にも2にも小数点とゼロが付いていないからそのまま処理された
ということでよいのでしょうか？