Dbl_clear_sign
#define Dblext_clear_sign(srcdst) Dbl_clear_sign(srcdst)
Dbl_clear_sign(rightp1); /* Exponent is already cleared */