Symbol: s_mp_cmp_d