>>175
> 符号無しオペランドを含む計算は、決してオーバフローしない。すなわち、結果を
> 符号無し整数型で表現できないときは、その型で表現しうる最大値より1だけ大きい
> 数を法とする剰余を結果とする。
JIS X 3010:2003 本体6.2.5より