Module B.Integer_Backward