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

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 https://asc.fasb.org/extlink&oid=126919976&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 https://asc.fasb.org/extlink&oid=126919976&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 https://asc.fasb.org/extlink&oid=126920106&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 https://asc.fasb.org/extlink&oid=126920106&loc=SL49130549-203045

+ Details

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

- Definition

Amortized cost, after allowance for credit loss, of financing receivable. Excludes financing receivable covered under loss sharing agreement and net investment in lease.

+ 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 https://asc.fasb.org/extlink&oid=124255953&loc=SL82919230-210447

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 310
-SubTopic 10
-Section 45
-Paragraph 2
-URI https://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 https://asc.fasb.org/extlink&oid=126920106&loc=SL49130554-203045

+ Details

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