computes (1 + pr) * 2^(j / 32) * 2^m.
fn expFinalize(pr: f128, j: usize, m: i32) f128
fn expFinalize(pr: f128, j: usize, m: i32) f128 { const sj_hi = exp2_tab[j].hi; const sj_lo = exp2_tab[j].lo; const sj = sj_hi + sj_lo; const x = sj_hi + (sj_lo + sj * pr); return math.ldexp(x, m); }