Revenue Recognition - Performance obligations (Details) - USD ($) $ in Millions |
9 Months Ended | |
|---|---|---|
Jun. 30, 2024 |
Jun. 30, 2023 |
|
| Revenue Recognition | ||
| Performance obligation | $ 20,700.0 | |
| Recognized revenue | $ 764.7 | $ 869.5 |
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-01-01 | ||
| Revenue Recognition | ||
| Performance obligation, percent to be satisfied | 58.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 | |