Revenue - Performance Obligations and Contract Estimates (Details) - USD ($) $ in Millions |
9 Months Ended | |
|---|---|---|
Jun. 30, 2025 |
Jun. 30, 2024 |
|
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | ||
| Standard assurance warranty, period | 1 year | |
| Remaining performance obligation, amount | $ 1,400.0 | |
| Changes in contract estimates related to projects in progress | 15.1 | $ 14.2 |
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date: 2025-07-01 | ||
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | ||
| Remaining performance obligation, amount | $ 913.0 | |
| Remaining performance obligation, expected timing of satisfaction, period | 12 months | |