Add padic_pow_exact_si.