86 #define Dbl_leftshiftby1_withextent(lefta,leftb,right,resulta,resultb)	\  argument
88     Shiftdouble(Dallp2(leftb), Extall(right), 31, Dallp2(resultb)) 
387 #define Dbl_subtract(lefta,leftb,righta,rightb,resulta,resultb)			\  argument
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);		\
398         if((Dallp2(resultb)--) == 0) Dallp1(resulta)--;			\
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
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)) < \