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