moved extension to pAdicValuation