Quantity ContactClosedPenetrationTracker.Maximum { get; }