replace bigint by bignum