Added padic inv_exact.