pub fn pow(a: Cx, b: Cx) -> Cx
x ^ y. An integer exponent is repeated multiplication, which keeps 0j1 ^ 2 exactly _1 rather than a rounded neighbour of it.
x ^ y
0j1 ^ 2
_1