Explicit cast to int from size_t in count()