Commitments and Contingencies (Details) $ in Millions	Jul. 31, 2023 USD ($)
Commitments and Contingencies [Abstract]
Cash to be paid	$ 4

Amount of commitment classified as other to be paid in second and third fiscal years following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

No definition available.

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