i fully agree with vincents suggestions also the choice of real numbers as example of additive group is a particularly good example i vividly recall trying to convince my students of the fact that which is true in real numbers but not true as say strings of digits this case is very much related to the case of signed zero in both of them the source of the problem is the representation and the solution is an equivalence relation