Module With_Integer.Integer_Forward