しつれい
>オフセットして非負の範囲にしてから符号無し型
この処理順序で良いのは {扱う整数|＜std::numeric_limits<オフセットするときの整数型>::max()のときはこれで良いが、
＝の場合は符号無しにしてからオフセットする
全てが調和する、