P-adic_number loading ...