vfp_hi64to32jamming
vsd.significand = vfp_hi64to32jamming(vdm.significand);
vsd->significand = vfp_hi64to32jamming((u64)vsn->significand * vsm->significand);