Ideal_class_group loading ...