Quantity ContactDepthTracker.Maximum { get; }