Defined to be equivalent to additive.sumn(one, n).
Defined to be equivalent to additive.sumn(one, n). That is, n
repeated summations of this ring's one, or -one if n is
negative.
This is similar to Semigroup#pow, except that a pow 0 is defined to be
the multiplicative identity.