Module All_Basis.Integer_Forward