Non-archimedean_field loading ...