Revenue- Change in Deferred Revenue (Details) $ in Millions	12 Months Ended
	Jun. 30, 2023 USD ($)
Contract Liability
Contract liability, July 1, 2022	$ 468.2
Recognition of revenue included in beginning of year contract liability	(30.3)
Contract liability, net of revenue recognized on contracts during the year	31.7
Currency translation adjustments	(4.8)
Contract liability, June 30, 2023	$ 464.8