external int_from: t->int = "_mlgmp_z_to_int"