XML 47 R40.htm IDEA: XBRL DOCUMENT v3.25.1
Revenue - Schedule of Changes in Deferred Revenue (Details)
$ in Millions
6 Months Ended
Mar. 31, 2025
USD ($)
Revenue from Contract with Customer [Abstract]  
Balance, September 30, 2024 $ 83.8
Recognition of revenue (523.7)
Deferral of revenue 553.3
Balance, December 31, 2024 $ 113.4