don't require BigInteger if it's already defined