Added Mpz constructor which takes a string.
Checkpointing example.clj.