Summary of Significant Accounting Policies - Capitalized Software Costs (Details) - USD ($) $ in Millions	Jul. 31, 2024	Jul. 31, 2023
Property, Plant and Equipment [Line Items]
Software development costs, gross	$ 105.0	$ 89.6
Accumulated amortization	$ 68.0	$ 59.7
Minimum \| Software
Property, Plant and Equipment [Line Items]
Useful life (in years)	3 years
Maximum \| Software
Property, Plant and Equipment [Line Items]
Useful life (in years)	7 years

For each balance sheet presented, the amount of accumulated amortization for capitalized computer software costs.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 350
-SubTopic 30
-Name Accounting Standards Codification
-Section 50
-Paragraph 2
-Subparagraph (a)(1)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482665/350-30-50-2

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

+ Details

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

- Definition

Amount before accumulated amortization of capitalized costs for computer software, including but not limited to, acquired and internally developed computer software.

+ References

+ Details

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

- Definition

Line items represent financial concepts included in a table. These concepts are used to disclose reportable information associated with domain members defined in one or many axes to the table.

+ References

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

+ Details

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

- Definition

Useful life of long lived, physical assets used in the normal conduct of business and not intended for resale, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents the reported fact of one year, five months, and thirteen days. Examples include, but not limited to, land, buildings, machinery and equipment, office equipment, furniture and fixtures, and computer equipment.

+ References

No definition available.

+ Details

Name:	us-gaap_PropertyPlantAndEquipmentUsefulLife
Namespace Prefix:	us-gaap_
Data Type:	xbrli:durationItemType
Balance Type:	na
Period Type:	instant

- Details

Name:	srt_RangeAxis=srt_MinimumMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_PropertyPlantAndEquipmentByTypeAxis=us-gaap_SoftwareAndSoftwareDevelopmentCostsMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	srt_RangeAxis=srt_MaximumMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: