XML 54 R42.htm IDEA: XBRL DOCUMENT v3.25.3
Revenue - Schedule of Contract Liability (Details)
$ in Millions
3 Months Ended
Sep. 30, 2025
USD ($)
Contract Liability  
Contract liability, July 1, 2025 $ 520.2
Recognition of revenue included in beginning of year contract liability (31.0)
Contract liability, net of revenue recognized on contracts during the period 30.1
Currency translation adjustments 1.3
Contract liability, September 30, 2025 $ 520.6