log src/number-gmp.h @ 4949:018e13fdeaeb

age author description
Wed, 06 Jan 2010 10:01:14 -0700 Jerry James Don't create any bignums before pdumping. Add bignum, ratio, and bigfloat