Performance Obligation (Details) - USD ($) $ in Millions	Dec. 31, 2024	Sep. 30, 2024
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue, remaining performance obligation, amount	$ 496.3	$ 507.3
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-07-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue, Remaining Performance Obligation, Percentage	50.00%
Revenue, remaining performance obligation, expected timing of satisfaction, period	14 months