Concatenating a zero bit onto the low-order end of a bit vector is equivalent to doubling the number it represents:

for both signed and unsigned representations. We will consider division in section 5.2.3 when we make provisions for rounding output value.

Mon Dec 11 17:02:42 CST 2000