Add unsigned integers reporting overflow. The first element of the
pair is the result. The second element is the carry flag, which is
nonzero on overflow. See also plusWord2#.
Subtract unsigned integers reporting overflow. The first element of
the pair is the result. The second element is the carry flag, which is
nonzero on overflow.