TWO130
st->s[0] = st->r[2] * (5.0 / TWO130);
st->s[2] = st->r[4] * (5.0 / TWO130);
st->s[4] = st->r[6] * (5.0 / TWO130);
c3lo = (h3lo + TWO(52) * TWO130) - TWO(52) * TWO130;
c3hi = (h3hi + TWO(52) * TWO130) - TWO(52) * TWO130;
x0 = (h0lo - c0lo) + c3lo * (5.0 / TWO130);
x0 += (h0hi - c0hi) + c3hi * (5.0 / TWO130);
c3lo = (h3lo + TWO(52) * TWO130) - TWO(52) * TWO130;
c3hi = (h3hi + TWO(52) * TWO130) - TWO(52) * TWO130;
x0 = (h0lo - c0lo) + c3lo * (5.0 / TWO130);
x0 += (h0hi - c0hi) + c3hi * (5.0 / TWO130);