ieee754dp_get_rounding
ieee754dp_get_rounding(sn, xm) >> (DP_FBITS + 1 + 3))
xm = ieee754dp_get_rounding(sn, xm);