Figure 1: 32-bit integer arithmetic.
