david-cortes check for potential integer overflows