P-adic_integer loading ...