86 #define Dbl_leftshiftby1_withextent(lefta,leftb,right,resulta,resultb)	\  argument
87     Shiftdouble(Dallp1(lefta), Dallp2(leftb), 31, Dallp1(resulta));	\
387 #define Dbl_subtract(lefta,leftb,righta,rightb,resulta,resultb)			\  argument
390     Dallp1(resulta) = Dallp1(lefta) - Dallp1(righta)
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
404     Dallp1(resulta) = Dallp1(lefta) + Dallp1(righta);			\
406 	Dallp1(resulta)++
622 #define Dblext_subtract(lefta,leftb,leftc,leftd,righta,rightb,rightc,rightd,resulta,resultb,resultc…  argument
632     Dextallp1(resulta) = Dextallp1(lefta) - Dextallp1(righta)
634 #define Dblext_addition(lefta,leftb,leftc,leftd,righta,rightb,rightc,rightd,resulta,resultb,resultc…  argument
643 		    Dextallp1(resulta) = Dextallp1(lefta)+Dextallp1(righta)+1; \
644 	    else Dextallp1(resulta) = Dextallp1(lefta)+Dextallp1(righta); \
648 		    Dextallp1(resulta) = Dextallp1(lefta)+Dextallp1(righta)+1; \
649 	    else Dextallp1(resulta) = Dextallp1(lefta)+Dextallp1(righta); \
655 		    Dextallp1(resulta) = Dextallp1(lefta)+Dextallp1(righta)+1; \
656 	    else Dextallp1(resulta) = Dextallp1(lefta)+Dextallp1(righta); \
660 		    Dextallp1(resulta) = Dextallp1(lefta)+Dextallp1(righta)+1; \
661 	    else Dextallp1(resulta) = Dextallp1(lefta)+Dextallp1(righta)