totalDecrement

Total ever decremented across all replicas (monotonically non-decreasing).