P-adic_valuation loading ...