Revenue (Additional Information) (Details) - USD ($) $ in Millions	3 Months Ended	6 Months Ended
Dec. 31, 2022	Dec. 31, 2021	Dec. 31, 2022	Dec. 31, 2021
Disaggregation of Revenue [Line Items]
Revenue recognized included in the deferred revenue	$ 0.7	$ 0.0	$ 141.4	$ 68.8
Revenue practical expedient remaining performance obligation applied			true
Maximum
Disaggregation of Revenue [Line Items]
Revenue practical expedient remaining performance obligation	1 year		1 year

Amount of revenue recognized that was previously included in balance of obligation to transfer good or service to customer for which consideration from customer has been received or is due.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 50
-Paragraph 8
-Subparagraph (b)
-URI https://asc.fasb.org/extlink&oid=126920106&loc=SL49130549-203045

+ Details

Name:	us-gaap_ContractWithCustomerLiabilityRevenueRecognized
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- Definition

Line items represent financial concepts included in a table. These concepts are used to disclose reportable information associated with domain members defined in one or many axes to the table.

+ References

No definition available.

+ Details

Name:	us-gaap_DisaggregationOfRevenueLineItems
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- Definition

Indicates (true false) whether optional exemption was applied not to disclose amount of transaction price allocated to and explanation of expected timing of revenue recognition for remaining performance obligation, when contract has expected duration of one year or less or right to consideration corresponds directly to performance completed.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 50
-Paragraph 15
-URI https://asc.fasb.org/extlink&oid=126920106&loc=SL49130558-203045

+ Details

Name:	us-gaap_RevenuePracticalExpedientRemainingPerformanceObligation
Namespace Prefix:	us-gaap_
Data Type:	xbrli:booleanItemType
Balance Type:	na
Period Type:	duration

- Definition

Remaining duration of performance obligation for which optional exemption was applied not to disclose amount of transaction price allocated to and timing of revenue recognition for remaining performance obligation, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents reported fact of one year, five months, and thirteen days.

+ References

+ Details

Name:	us-gaap_RevenueRemainingPerformanceObligationOptionalExemptionRemainingDuration
Namespace Prefix:	us-gaap_
Data Type:	xbrli:durationItemType
Balance Type:	na
Period Type:	instant

- Details

Name:	srt_RangeAxis=srt_MaximumMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: