Dbl_allp2
if( Dbl_allp2(leftp2) < Dbl_allp2(rightp2) )
if( Dbl_allp2(leftp2) > Dbl_allp2(rightp2) )
stickybit = Dbl_allp1(opnd1p1) || Dbl_allp2(opnd1p2);
while (stepcount-- > 0 && (Dbl_allp1(opnd1p1) || Dbl_allp2(opnd1p2))) {