XML 57 R46.htm IDEA: XBRL DOCUMENT v3.25.1
Revenue - Unearned Revenue (Details) - USD ($)
$ in Millions
3 Months Ended 6 Months Ended
Mar. 31, 2025
Mar. 31, 2024
Mar. 31, 2025
Mar. 31, 2024
Dec. 31, 2024
Sep. 30, 2024
Dec. 31, 2023
Sep. 30, 2023
Revenue from Contract with Customer [Abstract]                
Unearned Revenue $ 42.5 $ 38.0 $ 42.5 $ 38.0 $ 41.6 $ 36.8 $ 35.0 $ 27.9
Contract with Customer, Liability, Revenue Recognized $ 10.2 $ 8.3 $ 16.4 $ 13.3