external compare_int: t->int->int = "_mlgmp_z_compare_si"