XML 58 R46.htm IDEA: XBRL DOCUMENT v3.25.0.1
Revenue - Unearned Revenue (Details) - USD ($)
$ in Millions
3 Months Ended
Dec. 31, 2024
Dec. 31, 2023
Sep. 30, 2024
Sep. 30, 2023
Revenue from Contract with Customer [Abstract]        
Unearned Revenue $ 41.6 $ 35.0 $ 36.8 $ 27.9
Contract with Customer, Liability, Revenue Recognized $ 9.3 $ 7.4