>! Bob is doing his calculations in base 2 (aka. binary): $$0.111..._2 = 1_2$$ similarly to the the following in base 10: $$0.999..._{10} = 1_{10}$$ The apparently wrong part is correct when the calculation is done in base 2: $$10_2 - 1_2 = 1_2$$