Module Complete_Binary.Integer_Forward