Split out overflow_check to more closely match the structure of the scalar code.