Commitments and Contingencies (Narrative) (Details) $ in Millions |
3 Months Ended | 9 Months Ended | ||||||
|---|---|---|---|---|---|---|---|---|
|
Oct. 03, 2024
USD ($)
patent
|
Jan. 22, 2024
patent
|
Apr. 30, 2026
USD ($)
|
Apr. 30, 2025
USD ($)
|
Apr. 30, 2026
USD ($)
|
Apr. 30, 2025
USD ($)
|
Jul. 31, 2025
USD ($)
|
Jan. 31, 2024
USD ($)
|
|
| Long-Term Purchase Commitment | ||||||||
| Patents infringed | patent | 3 | 4 | ||||||
| Verdict | $ 114 | $ 152 | ||||||
| Accrued amount for verdict | $ 150 | $ 150 | $ 146 | |||||
| Increase in estimate | $ 1 | $ 2 | 4 | $ (40) | ||||
| Service Provider | ||||||||
| Long-Term Purchase Commitment | ||||||||
| Minimum purchase commitment | $ 92 | |||||||
| 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
|