Module Complete_Integer.Integer_Forward