Module Make.Integer_Forward