99 #define Dbl_leftshiftby1_withextent(lefta,leftb,right,resulta,resultb)	\  argument
100     Shiftdouble(Dallp1(lefta), Dallp2(leftb), 31, Dallp1(resulta));	\
101     Shiftdouble(Dallp2(leftb), Extall(right), 31, Dallp2(resultb)) 
103 #define Dbl_rightshiftby1_withextent(leftb,right,dst)		\  argument
104     Extall(dst) = (Dallp2(leftb) << 31) | ((unsigned int)Extall(right) >> 1) | \
400 #define Dbl_subtract(lefta,leftb,righta,rightb,resulta,resultb)			\  argument
401     if( Dallp2(rightb) > Dallp2(leftb) ) Dallp1(lefta)--;	\
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);		\
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
638 	    if( (Dextallp2(leftb)--) == 0) Dextallp1(lefta)--;	\
641         if( (Dextallp2(leftb)--) == 0) Dextallp1(lefta)--;	\
643     if( Dextallp2(rightb) > Dextallp2(leftb) ) Dextallp1(lefta)--; \
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)) < \