installed IsIntegralDomain