XML 57 R44.htm IDEA: XBRL DOCUMENT v3.25.1
Revenue - Contract Liability (Details)
$ in Millions
9 Months Ended
Mar. 31, 2025
USD ($)
Contract Liability  
Contract liability, July 1, 2024 $ 491.6
Recognition of revenue included in beginning of year contract liability (102.4)
Contract liability, net of revenue recognized on contracts during the period 103.7
Currency translation adjustments (0.7)
Contract liability, March 31, 2025 $ 492.2