Module Integer_Basis.Integer_Backward