intvar domains