数值修约规则与极限数值的表示和判定