a0_lo
a0_lo = -4.9964270364690197e-17,
a0_lo = -4.9642368725563397e-17, /* 0xbc8c9deb, 0xaa64afc3 */
tlo = tlo * p + thi * r.b + a0_lo;