a0_hi
r.a = (float)(thi + a0_hi);
r.b = ((a0_hi - r.a) + thi) + tlo;
r.a = t.a + a0_hi, TRUNC(r.a);
r.b = ((a0_hi-r.a) + t.a) + t.b;
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;
r.a = t.a + a0_hi, TRUNC(r.a);
r.b = ((a0_hi-r.a) + t.a) + t.b;