86 #define Dbl_leftshiftby1_withextent(lefta,leftb,right,resulta,resultb)	\  argument
87     Shiftdouble(Dallp1(lefta), Dallp2(leftb), 31, Dallp1(resulta));	\
88     Shiftdouble(Dallp2(leftb), Extall(right), 31, Dallp2(resultb)) 
90 #define Dbl_rightshiftby1_withextent(leftb,right,dst)		\  argument
91     Extall(dst) = (Dallp2(leftb) << 31) | ((unsigned int)Extall(right) >> 1) | \
387 #define Dbl_subtract(lefta,leftb,righta,rightb,resulta,resultb)			\  argument
388     if( Dallp2(rightb) > Dallp2(leftb) ) Dallp1(lefta)--;	\
389     Dallp2(resultb) = Dallp2(leftb) - Dallp2(rightb);		\
394 #define Dbl_subtract_withextension(lefta,leftb,righta,rightb,extent,resulta,resultb)	\  argument
395     Dbl_subtract(lefta,leftb,righta,rightb,resulta,resultb);		\
401 #define Dbl_addition(lefta,leftb,righta,rightb,resulta,resultb)		\  argument
405     if((Dallp2(resultb) = Dallp2(leftb) + Dallp2(rightb)) < Dallp2(rightb)) \
622 #define Dblext_subtract(lefta,leftb,leftc,leftd,righta,rightb,rightc,rightd,resulta,resultb,resultc…  argument
625 	    if( (Dextallp2(leftb)--) == 0) Dextallp1(lefta)--;	\
628         if( (Dextallp2(leftb)--) == 0) Dextallp1(lefta)--;	\
630     if( Dextallp2(rightb) > Dextallp2(leftb) ) Dextallp1(lefta)--; \
631     Dextallp2(resultb) = Dextallp2(leftb) - Dextallp2(rightb);	\
634 #define Dblext_addition(lefta,leftb,leftc,leftd,righta,rightb,rightc,rightd,resulta,resultb,resultc…  argument
641 	    if((Dextallp2(resultb) = Dextallp2(leftb)+Dextallp2(rightb)+1) \
646 	    if ((Dextallp2(resultb) = Dextallp2(leftb)+Dextallp2(rightb)) < \
653 	    if ((Dextallp2(resultb) = Dextallp2(leftb)+Dextallp2(rightb)+1) \
658 	    if ((Dextallp2(resultb) = Dextallp2(leftb)+Dextallp2(rightb)) < \