This change fixes two bugs
1) the overflow checks were incorrect, because signed integers do not
   overflow
2) when overflow was actually detected, the code fell back to the
   slow path (using f_add) with the last array element as the new start
   value, which led to wrong results