external to_string_base: base: int->t->string = "_mlgmp_z_to_string_base"