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