Io non so una ceppa di C++ ma nemmeno di C, però in compenso ti do ragione, dev'essere quello. Sfortunatamente ora come ora non posso testarlo, però in C++ quello fa un cast implicito a int e quindi lo stampa come numero.