Module With_Forward.Integer_Forward