Totally_real_field loading ...