> Without loss of generality, let the number be xx...xx100...000,

Note that this is with loss of generality, since there is no guarantee of a 1 bit anywhere in the number ;) but you can handle the zero case specially.