amen_sum is stabilized w.r.t. overflows