P-adic_absolute_value loading ...