for DIV: check for div by zero and int overflow