P-adic_exponential_function loading ...