printf("%d", 12.0 / 8);

Why does the above print 0 and not 1.

- SSK