Dbl_isnotzero_mantissa
&& Dbl_isnotzero_mantissa(leftp1,leftp2)
&& Dbl_isnotzero_mantissa(rightp1,rightp2)
&& Dbl_isnotzero_mantissa(leftp1,leftp2))
&& Dbl_isnotzero_mantissa(rightp1,rightp2)) )
Dbl_isnotzero_mantissa(srcp1,srcp2)) {
Dbl_isnotzero_mantissa(srcp1,srcp2))
Dbl_isnotzero_mantissa(srcp1,srcp2))
if (Dbl_isnotzero_mantissa(srcp1,srcp2))
Dbl_isnotzero_mantissa(srcp1,srcp2) || Dbl_iszero_sign(srcp1)) {
if (Dbl_isnotzero_mantissa(srcp1,srcp2))
Dbl_isnotzero_mantissa(srcp1,srcp2) || Dbl_iszero_sign(srcp1)) {
if (Dbl_isnotzero_mantissa(srcp1,srcp2))