Archimedean_ordered_vector_space loading ...