Added basic ZDACS translation/output.
Replaced static_casts on mpz_class with number_cast.