invalid_integer  4219 bignum.c       	if (badcheck) invalid_integer(str);
invalid_integer  4250 bignum.c       	invalid_integer(arg);
invalid_integer  4289 bignum.c       	invalid_integer(arg);
invalid_integer  4331 bignum.c       	invalid_integer(arg);
invalid_integer  4374 bignum.c       	invalid_integer(arg);