Symbol: s_mp_mul_d