Module B.Integer_Forward