Symbol: ieee754dp_fsp