a0_lo
tlo = tlo * p + thi * r.b + a0_lo;
t.b = t.b*p + t.a*r.b + a0_lo;
rr.b += a0_lo; rr.a += a0_hi;
case 2: return(((r+a0_lo)+t)+a0_hi);
rr.a -= a0_hi; rr.b -= a0_lo;
t.b = t.b*p + t.a*r.b + a0_lo;