Dbl_setinfinity_exponentmantissa
Dbl_setinfinity_exponentmantissa(resultA,resultB); \
Dbl_setinfinity_exponentmantissa(resultp1,resultp2);
Dbl_setinfinity_exponentmantissa(resultp1,resultp2);
Dbl_setinfinity_exponentmantissa(resultp1,resultp2);
Dbl_setinfinity_exponentmantissa(resultp1,resultp2);
Dbl_setinfinity_exponentmantissa(resultp1,resultp2);