Yet another quick fix to isIntExpr()