Why not just use the monoid?  I'm not really sure what we gain in terms of accuracy by using the negative.

On the other hand, a lot of things are monoids that aren't groups.