Income Taxes (Details) $ in Millions	9 Months Ended
Apr. 30, 2023 USD ($)
Income Tax Disclosure [Abstract]
Unrecognized tax benefits	$ 16.9
Accrued interest and penalties on unrecognized tax benefits	1.8
Unrecognized reduction from lapse of statute of limitations	$ 3.2

No definition available.

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

- Definition

Amount of unrecognized tax benefits.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 740
-SubTopic 10
-Section 45
-Paragraph 10B
-URI https://asc.fasb.org/extlink&oid=123427490&loc=SL37586934-109318

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 740
-SubTopic 10
-Section 50
-Paragraph 15A
-Subparagraph (a)
-URI https://asc.fasb.org/extlink&oid=121826272&loc=SL6600010-109319

+ Details

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

- Definition

Amount accrued for interest on an underpayment of income taxes and penalties related to a tax position claimed or expected to be claimed in the tax return.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 740
-SubTopic 10
-Section 50
-Paragraph 15
-Subparagraph (c)
-URI https://asc.fasb.org/extlink&oid=121826272&loc=d3e32718-109319

+ Details

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

- Definition

Amount of decrease in unrecognized tax benefits resulting from lapses of applicable statutes of limitations.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 740
-SubTopic 10
-Section 50
-Paragraph 15A
-Subparagraph (a)(4)
-URI https://asc.fasb.org/extlink&oid=121826272&loc=SL6600010-109319

+ Details

Name:	us-gaap_UnrecognizedTaxBenefitsReductionsResultingFromLapseOfApplicableStatuteOfLimitations
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration