vfp_double_pack
vfp_put_double(vfp_double_pack(&vdd), dd);
vfp_put_double(vfp_double_pack(&vfp_double_default_qnan), dd);
s64 d = vfp_double_pack(vd);
vfp_put_double(vfp_double_pack(vdp), dd);
vfp_put_double(vfp_double_pack(&vdd), dd);