exponentiation with wrap-around semantics

'zero **° zero' is permitted and results in 'one'.

pre
  safety: (other ≥ wrap_around.this.zero)