Symbol: s_mp_add_d