better explanation of the micro-optimization of sum_seq