Dbl_set_mantissap1
Dbl_set_mantissap1(resultp1, (src >> (DBL_EXP_LENGTH - 1)));
Dbl_set_mantissap1(resultp1, srcp1 >> (DBL_EXP_LENGTH-1));