Symbol: ieee754dp_nmsub