twom32
yy.d = t = y + twom32;
yy.d = (y - (t - twom32)) + twom64;
s *= twom32;
s *= twom32;
s *= twom32;
s *= twom32;
s *= twom32;
s *= twom32;
s *= twom32;
xhi = ((x + twom32) + two32) - two32;
yhi = ((y + twom32) + two32) - two32;
yy.e = t = y + twom32;
yy.e = (y - (t - twom32)) + twom64;