Re: bignum branch

[Paul Eggert]

Tom Tromey wrote:
> So, if Eli or Paul can let me know what they want, I can do it.

I prefer consistent names in the new version, even if they don't match the old 
names. I suggest C names like INTEGERP, XINTEGER, FIXNUMP, XFIXNUM, BIGNUMP, and 
XBIGNUM, where 'integer' is the disjoint union of 'fixnum' and 'bignum'. 
Although this consistency will cost us a bit in the short run (due to renaming) 
and even in the long run (due to 'git diff' output being longer), it's worth it 
to keep the code readable.