Symbol: s_mp_sub_d