型変換
type conversion
型キャスト（typecasting）
型システム
汎整数拡張
型変換 - Wikipedia