NumSumMonoid constructor

NumSumMonoid()