Module Binary_Integer_Basis.Boolean_Forward