規格の汎整数昇格のところ読んでるんだけど、
変換「できる」って書いてるんだよね。
つまり、変換するかどうかは処理系定義ってことなのか・・・。
うちの環境じゃその下の浮動小数点昇格が行われないみたいだし、
処理系定義臭いな・・・。