printf "%c" format specifier doesn't work in batch mode

[lgritz]

color C = 0.5;
printf("C = %c\n", C);

works in single point mode, not in batch mode. Changing to %g works for both.