numerical monoid