Integral_domain loading ...