99 #define Dbl_leftshiftby1_withextent(lefta,leftb,right,resulta,resultb)	\  argument
101     Shiftdouble(Dallp2(leftb), Extall(right), 31, Dallp2(resultb)) 
400 #define Dbl_subtract(lefta,leftb,righta,rightb,resulta,resultb)			\  argument
402     Dallp2(resultb) = Dallp2(leftb) - Dallp2(rightb);		\
407 #define Dbl_subtract_withextension(lefta,leftb,righta,rightb,extent,resulta,resultb)	\  argument
408     Dbl_subtract(lefta,leftb,righta,rightb,resulta,resultb);		\
411         if((Dallp2(resultb)--) == 0) Dallp1(resulta)--;			\
414 #define Dbl_addition(lefta,leftb,righta,rightb,resulta,resultb)		\  argument
418     if((Dallp2(resultb) = Dallp2(leftb) + Dallp2(rightb)) < Dallp2(rightb)) \
635 #define Dblext_subtract(lefta,leftb,leftc,leftd,righta,rightb,rightc,rightd,resulta,resultb,resultc…  argument
644     Dextallp2(resultb) = Dextallp2(leftb) - Dextallp2(rightb);	\
647 #define Dblext_addition(lefta,leftb,leftc,leftd,righta,rightb,rightc,rightd,resulta,resultb,resultc…  argument
654 	    if((Dextallp2(resultb) = Dextallp2(leftb)+Dextallp2(rightb)+1) \
659 	    if ((Dextallp2(resultb) = Dextallp2(leftb)+Dextallp2(rightb)) < \
666 	    if ((Dextallp2(resultb) = Dextallp2(leftb)+Dextallp2(rightb)+1) \
671 	    if ((Dextallp2(resultb) = Dextallp2(leftb)+Dextallp2(rightb)) < \