Module Complete_Binary.Integer_Backward