Fix mod_n on negatives.
Implement Num fallback case of pow_I.