Dbl_setone_sign
Dbl_setone_sign(resultp1);
if(Is_rounding_mode(ROUNDMINUS)) Dbl_setone_sign(resultp1);
Dbl_setone_sign(resultp1);
if(Is_rounding_mode(ROUNDMINUS)) Dbl_setone_sign(resultp1);
Dbl_setone_sign(resultp1);
Dbl_setone_sign(resultp1);