Tag: additive inverse of rational numbers