Module With_Integer_Forward_Backward.Integer_Forward