More efficient conversions between mpz and integers. Moved the

implementations for push_int64 and int64_from_bignum here. int64_from_bignum
now properly checks for overflow.

Rev: src/modules/Gmp/mpz_glue.c:1.128
Rev: src/modules/Gmp/my_gmp.h:1.16