Revenue Recognition - Remaining Performance Obligation (Details) $ in Millions |
Jul. 31, 2025
USD ($)
|
|---|---|
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
| Remaining performance obligations | $ 923.8 |
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2025-08-01 | |
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
| Remaining performance obligations | $ 597.1 |
| Timing of satisfaction of performance obligation | 12 months |
| 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 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. No definition available.
|
| 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 | ||||||||||
- Details
|