Support for len() for a ProductSet

I understand that the cardinality of an Interval set or the product of an Interval set with any other set is not correctly implemented by __len__().

However, is the cardinality defined by __len__() for a product set of finite sets? I think so.