XML 56 R45.htm IDEA: XBRL DOCUMENT v3.24.2.u1
Revenue - Additional Information (Details) - USD ($)
$ in Millions
3 Months Ended 9 Months Ended
Jun. 30, 2024
Jun. 30, 2023
Jun. 30, 2024
Jun. 30, 2023
Sep. 30, 2023
Unearned Revenue (Details)          
Amortization $ 1.4 $ 1.0 $ 3.5 $ 2.8  
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-04-01          
Unearned Revenue (Details)          
Remaining performance obligation, period 12 months   12 months    
Equipment          
Unearned Revenue (Details)          
Contract assets $ 18.5   $ 18.5   $ 16.6