add integer constraints