Symbol: mp_cmp_d