Module Binary_Integer_Basis.Integer_Forward