序数与整数能混合运算的一种实现方法

本文通过比较分析序数加减运算和整数加减运算的溢出检测，提出一种序数和整数能混合运算的实现方法，并且对方法的正确性进行了校举证明。按照这种实现方法，不仅精简了指令集合，而且能通过扩大中间运算结果的有限表示范围，减少溢出情况的发生，从而提高了运算的精度。