Change BigInt to use a precise mpz_struct

As discussed in #2814.
Install libmpfr-dev and libmpc-dev packages explicitly