Revenue Recognition - Performance obligations (Details) - USD ($) $ in Millions |
6 Months Ended | |
|---|---|---|
Mar. 31, 2024 |
Mar. 31, 2023 |
|
| Revenue Recognition | ||
| Performance obligation | $ 21,400.0 | |
| Recognized revenue | $ 685.3 | $ 696.9 |
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-01-01 | ||
| Revenue Recognition | ||
| Performance obligation, percent to be satisfied | 55.00% | |
| Performance obligation expected timing of satisfaction period | 12 months | |
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2025-01-01 | ||
| Revenue Recognition | ||
| Performance obligation expected timing of satisfaction period | 2 years | |