Revenue Recognition - Remaining Performance Obligations (Details) $ in Millions |
Jul. 31, 2026
USD ($)
|
|---|---|
| Disaggregation of Revenue [Line Items] | |
| Remaining performance obligations | $ 1,377.6 |
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date: 2026-08-01 | |
| Disaggregation of Revenue [Line Items] | |
| Remaining performance obligations, percentage | 65.00% |
| Remaining performance obligations, period | 12 months |
| Billed Consideration | |
| Disaggregation of Revenue [Line Items] | |
| Remaining performance obligations | $ 615.4 |
| Unbilled Consideration | |
| Disaggregation of Revenue [Line Items] | |
| Remaining performance obligations | $ 762.2 |
| X | ||||||||||
- Definition Line items represent financial concepts included in a table. These concepts are used to disclose reportable information associated with domain members defined in one or many axes to the table. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Amount of transaction price allocated to performance obligation that has not been recognized as revenue. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Period in which remaining performance obligation is expected to be recognized as revenue, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents reported fact of one year, five months, and thirteen days. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Percentage of remaining performance obligation to total remaining performance obligation not recognized as revenue. Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
|
| X | ||||||||||
- Details
|
| X | ||||||||||
- Details
|
| X | ||||||||||
- Details
|