external to_int: t->int = "_mlgmp_z_to_int"