数值修约和运算规则