Module Ival.Integer_Forward