12.6 RNS形式体系中的计算