Symbol: Dbl_isinfinity_exponent