Dblext_isnotzero_low31p3
Dblext_isnotzero_low31p3(opndp3))) { \
if (Dblext_isnotzero_low31p3(resultp3) ||