bigfixize        3130 bignum.c       	x = bigfixize(x);
bigfixize        5359 bignum.c       	x = bigfixize(x);