IntegerContainer -> ProductVector