XML 57 R46.htm IDEA: XBRL DOCUMENT v3.24.2.u1
Revenue - Unearned Revenue (Details) - USD ($)
$ in Millions
3 Months Ended 9 Months Ended
Jun. 30, 2024
Jun. 30, 2023
Jun. 30, 2024
Jun. 30, 2023
Mar. 31, 2024
Sep. 30, 2023
Mar. 31, 2023
Sep. 30, 2022
Unearned Revenue (Details)                
Unearned Revenue $ 37.5 $ 26.5 $ 37.5 $ 26.5 $ 38.0 $ 27.9 $ 25.7 $ 21.6
Contract with Customer, Liability, Revenue Recognized $ 7.7 $ 6.7 $ 17.6 $ 18.9