Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars