Quantity ContactClosedPenetrationTracker.Minimum { get; }