Quantity ContactDepthTracker.Minimum { get; }