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);