XML 57 R46.htm IDEA: XBRL DOCUMENT v3.25.2
Revenue - Unearned Revenue (Details) - USD ($)
$ in Millions
3 Months Ended 9 Months Ended
Jun. 30, 2025
Jun. 30, 2024
Jun. 30, 2025
Jun. 30, 2024
Mar. 31, 2025
Sep. 30, 2024
Mar. 31, 2024
Sep. 30, 2023
Revenue from Contract with Customer [Abstract]                
Unearned Revenue $ 40.0 $ 37.5 $ 40.0 $ 37.5 $ 42.5 $ 36.8 $ 38.0 $ 27.9
Contract with Customer, Liability, Revenue Recognized $ 11.0 $ 7.7 $ 22.5 $ 17.6