What's unconditionally calling count?

It work based on combinations and permutations, which are based on factorials, which can get into the quadrillion+ range for even moderate inputs. I've asked about how to handle collections that are way too large, but whose elements are still addressable, but no one answered (so far).