Check for (impossible) overflow