Leopold Toetsch Thu, 24 Jun 2004 12:46:02 -0700
A BIGNUM (BigInteger, BigNumber) will just be a PMC, AFAIK.
So I think these entries should just get deleted.
leo