Module D.Integer_Forward