Symbol: ieee754dp_inf