adding a zero to the left of a binary integer doesn't double it