Integer_ring loading ...