working on fixing bug with mpz_to_array...