(-1)^k when `k` is an `int`

Stream: Is there code for X?

[Scott Morrison]

What's the easiest way to talk about (-1)^k as an int, when k : int?

Merely writing it complains about not having a has_pow int int instance, of course.

[Mario Carneiro]

You could use gpow in units int