always intvar