ln2_32lo
z = (x - k * ln2_32hi) - k * ln2_32lo;
x = (x - t * ln2_32hi) - t * ln2_32lo;
ln2_32lo = 5.209643502595475652782654157501186731779e-27L;
ln2_32lo = +5.209643502595475652782654157501186731779e-27L,
x = (x - t * ln2_32hi) - t * ln2_32lo;
ln2_32lo = 5.209643502595475652782654157501186731779e-27L,
w1 = (y2 - (t * ln2_32hi - y1)) - t * ln2_32lo;
ln2_32lo = 5.209643502595475652782654157501186731779e-27L;
x = (x - t * ln2_32hi) - t * ln2_32lo;
ln2_32lo = 1.7181009433463659920976473789104487579766912713e-15L;
t2 = t3 * ln2_32lo;
t2 = t3 * ln2_32lo;