3.5.2 数值归约