Number of operating segments. An operating segment is a component of an enterprise: (a) that engages in business activities from which it may earn revenues and incur expenses (including revenues and expenses relating to transactions with other components of the same enterprise), (b) whose operating results are regularly reviewed by the enterprise's chief operating decision maker to make decisions about resources to be allocated to the segment and assess its performance, and (c) for which discrete financial information is available. An operating segment may engage in business activities for which it has yet to earn revenues, for example, start-up operations may be operating segments before earning revenues.

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 280
-SubTopic 10
-Section 50
-Paragraph 18
-URI https://asc.fasb.org/extlink&oid=126901519&loc=d3e8672-108599

Name:	us-gaap_NumberOfOperatingSegments
Namespace Prefix:	us-gaap_
Data Type:	xbrli:integerItemType
Balance Type:	na
Period Type:	duration

Summary of Significant Accounting Policies (Narrative) (Details) $ in Millions	3 Months Ended		6 Months Ended
	Dec. 31, 2022 USD ($)	Dec. 31, 2021 USD ($)	Dec. 31, 2022 USD ($) segment	Dec. 31, 2021 USD ($)
Summary Of Significant Accounting Policies [Line Items]
Number of operating segments \| segment			2
Operating lease revenue \| $	$ 20.4	$ 24.4	$ 44.1	$ 49.6
Minimum
Summary Of Significant Accounting Policies [Line Items]
Deferred revenue recognized, term			1 year
Maximum
Summary Of Significant Accounting Policies [Line Items]
Deferred revenue recognized, term			5 years