Added padic_sqrt_exact.