spire.math
This is similar to Semigroup#pow, except that a pow 0 is defined to be the multiplicative identity.
Semigroup#pow
a pow 0