XML 56 R45.htm IDEA: XBRL DOCUMENT v3.24.1.u1
Revenue - Unearned Revenue (Details) - USD ($)
$ in Millions
3 Months Ended 6 Months Ended
Mar. 31, 2024
Mar. 31, 2023
Mar. 31, 2024
Mar. 31, 2023
Dec. 31, 2023
Sep. 30, 2023
Dec. 31, 2022
Sep. 30, 2022
Unearned Revenue (Details)                
Unearned Revenue $ 38.0 $ 25.7 $ 38.0 $ 25.7 $ 35.0 $ 27.9 $ 23.0 $ 21.6
Contract with Customer, Liability, Revenue Recognized $ 8.3 $ 5.9 $ 13.3 $ 10.6