printf 에서 floating 출력하는데 정상적으로 출력이 안됩니다.

안녕하세요.
엄청 간단한 예제인데, 정상적으로 출력이 안되어서 질문드립니다.

1 int a = 6;
2 printf("%f\n", (float)a);
3 printf("%d\t%f\n", a, (float)a);
4 printf("%d\t%f\t%f\n", a, a, (float)a);
5 printf("%d\t%f\t%f\n", a, (float)a, a);

위와같은 코드를 수행하면 아래와 같은 결과가 나옵니다.

6.000000
6 6.000000
6 0.000000 0.000000
6 6.000000 0.000000

문제가 4번째 줄에 있는 마지막 (float)a 가 정상적으로 출력되지 않네요.
왜 이런 현상이 발생할까요?