Commitments and Contingencies (Narrative) (Details) $ in Millions |
3 Months Ended | ||||
|---|---|---|---|---|---|
|
Oct. 03, 2024
USD ($)
patent
|
Jan. 22, 2024
patent
|
Oct. 31, 2024
USD ($)
|
Jul. 31, 2024
USD ($)
|
Jan. 31, 2024
USD ($)
|
|
| Long-Term Purchase Commitment | |||||
| Patents infringed | patent | 3 | 4 | |||
| Verdict | $ 113.6 | $ 151.5 | |||
| Accrued amount for verdict | $ 141.4 | $ 184.4 | |||
| Decrease in estimate | (43.0) | ||||
| Service Provider | |||||
| Long-Term Purchase Commitment | |||||
| Minimum purchase commitment | $ 137.2 |
| X | ||||||||||
- Definition The minimum amount the entity agreed to spend under the long-term purchase commitment. No definition available.
|
| 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 Amount of loss contingency liability. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Amount of increase (decrease) in loss contingency liability. Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
|
| X | ||||||||||
- Definition Reflects the estimated amount of loss from the specified contingency as of the balance sheet date. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Number of another entity's patents that the entity has allegedly infringed. Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
|
| X | ||||||||||
- Details
|