有效数字和数值的修约运算及极限数值判定.