Quantity ContactToolResult.Maximum { get; }