Fixed bug in decode_value where decoded integers outside the 32 bit range

weren't converted to native form when INT_TYPE is larger than that.

Rev: src/bignum.c:1.40
Rev: src/bignum.h:1.26
Rev: src/encode.c:1.199
Rev: src/modules/Gmp/mpz_glue.c:1.156