符号つき w ビット整数の演算

$w\ge1$ を整数、$I_w=\{-2^{w-1},\ldots,2^{w-1}-1\}$ とする。整数 $v$ に対し、$v\equiv r\pmod{2^w}$（定義 3.1［合同式とフェルマーの小定理］）を満たす $r\in I_w$ を $\mathrm{wrap}_w(v)$ と書く。符号つき $w$ ビット整数の加算・減算・乗算を、$a,b\in I_w$ に対し

と定める。int32 は $w=32$、int64 は $w=64$ である。