mixed cast(string type)
It is possible to cast an mpz to a string, int or float.
cast_to_int , cast_to_float , cast_to_string