>>322
>変換後の型で表せない範囲の値を変換しようとしたとき、変換後の型が符号なし整数型である場合には、
>変換後の型が格納可能な最大値 + 1 で modulo を取った値になることになってる。
>(変換後の型が符号付である場合には未定義。)

結果的にそうなってるだけで実際は上位bit(byte)棄ててるだけじゃないの