p-adic valuation