Leases (Details) $ in Millions	3 Months Ended
Oct. 31, 2023 USD ($)
Leases [Abstract]
Remaining lease commitment	$ 34
Operating lease, expense	$ 12

Amount of lessee's undiscounted obligation for lease payment for operating lease.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 842
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 6
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147478964/842-20-50-6

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