[danbruc]

For all fixed length two's complement integer types the smallest representable number has no additive inverse, too.

[dllthomas]

Prelude Data.Int> minBound + minBound :: Int16

0

[danbruc]

Ohhh yes, of course, it is still a abelian group.