Description of Business and Summary of Significant Accounting Policies - Narrative (Details) - USD ($) $ in Millions	3 Months Ended
Oct. 31, 2021	Oct. 31, 2020	Jul. 31, 2021
Accounting Policies [Abstract]
Revenue recognized	$ 421	$ 399
Description of timing	12 months
Deferred revenue	$ 6		$ 8
Notes receivable	$ 190		$ 139

No definition available.

Name:	us-gaap_AccountingPoliciesAbstract
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- Definition

Amount of obligation to transfer good or service to customer for which consideration has been received or is receivable, classified as noncurrent.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 45
-Paragraph 2
-URI http://asc.fasb.org/extlink&oid=123360276&loc=SL49130532-203044

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 45
-Paragraph 1
-URI http://asc.fasb.org/extlink&oid=123360276&loc=SL49130531-203044

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 50
-Paragraph 8
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=123351226&loc=SL49130549-203045

+ Details

Name:	us-gaap_ContractWithCustomerLiabilityNoncurrent
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of revenue recognized that was previously included in balance of obligation to transfer good or service to customer for which consideration from customer has been received or is due.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 50
-Paragraph 8
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=123351226&loc=SL49130549-203045

+ Details

Name:	us-gaap_ContractWithCustomerLiabilityRevenueRecognized
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- Definition

Amount, after allowance for credit loss, of financing receivable. Excludes financing receivable covered under loss sharing agreement.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 326
-SubTopic 20
-Section 50
-Paragraph 5
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=124255953&loc=SL82919230-210447

Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 210
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(3))
-URI http://asc.fasb.org/extlink&oid=120391452&loc=d3e13212-122682

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 310
-SubTopic 10
-Section 45
-Paragraph 2
-URI http://asc.fasb.org/extlink&oid=124259787&loc=d3e4428-111522

+ Details

Name:	us-gaap_NotesReceivableNet
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Description of timing for satisfying performance obligation in contract with customer. Includes, but is not limited to, as services are rendered, and upon shipment, delivery or completion of service.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 50
-Paragraph 12
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=123351226&loc=SL49130554-203045

+ Details

Name:	us-gaap_RevenuePerformanceObligationDescriptionOfTiming
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration