Bytevectors Section 2.3: "Operations on Integers of Arbitrary Size"