Dbl_isnotzero_exponent
if (Dbl_isnotzero_exponent(opnd1p1)) {
if (Dbl_isnotzero_exponent(opnd2p1)) {
if (Dbl_isnotzero_exponent(opnd1p1)) {
if (Dbl_isnotzero_exponent(opnd2p1)) {
if (Dbl_isnotzero_exponent(opnd1p1)) {
if (Dbl_isnotzero_exponent(opnd2p1)) {
if (Dbl_isnotzero_exponent(opnd1p1)) {
if (Dbl_isnotzero_exponent(opnd2p1)) {