Minor tweaks for new CheckOther::checkIntegerOverflow checker