いやいや、型の定義は （おまえの疑問とは） 関係ないよ。
printfで出力された値を見れば、ただ足し算するだけ。

定義のところに疑問があるなら、疑問を持つべきは最後のprintf文じゃないでしょ？