Added padic divexact.