P-adic integer