factor: remove --bignum and --no-bignum options