Figure 2: 64-bit double arithmetic.
