Module Base_with_integer.Integer_Forward