Ring_of_integers loading ...