Symbol: Dbl_iszero_exponent