vfp_shiftright64jamming
significand = vfp_shiftright64jamming(significand, -exponent);
vdd.significand = vfp_shiftright64jamming(vdd.significand, 1);
m_sig = vfp_shiftright64jamming(vdm->significand, exp_diff);