Duintp2
((Duintp1(duint_valueA) << 32 - SGL_EXP_LENGTH) || Duintp2(duint_valueB))
Duintp2(duint_valueB) || Slow(sgl_value)) Sall(sgl_value)++
(Duintp2(duint_value) << 32 - DBL_EXP_LENGTH)
if (Duintp2(duint_opndB) & 1<<(DBL_EXP_LENGTH - 1)) \
if ((Duintp2(duint_opndB) << 33 - DBL_EXP_LENGTH) || Dlowp2(dbl_opndB)) \