/bignum.c/1.20/Sun Mar 17 21:35:02 2002//
/bignum.h/1.14/Sun Mar 17 20:06:20 2002//
/bignum_atest.pl/1.9/Sun Mar 17 21:35:04 2002//
/bignum_test.pl/1.8/Sun Mar 17 20:06:20 2002//
D
