Dbl_set_mantissap2
Dbl_set_mantissap2(resultp2, src << (32-DBL_EXP_LENGTH));
Dbl_set_mantissap2(resultp2, src << (33-DBL_EXP_LENGTH));