inclusion-exclusion, BigNum