pub fn ext_pow(base: &BigInt, exp: u64) -> Option<BigInt>
base ^ exp for a whole nonnegative exponent, refusing a result too big to hold.
base ^ exp