[PATCH] Fix a bug with XEmacs and bignum support.