Revenue (Narrative) (Details) - USD ($) $ in Millions	Oct. 31, 2025	Jul. 31, 2025
Revenue from Contract with Customer [Abstract]
Contract assets	$ 33.0	$ 24.3
Contract liabilities	$ 22.2	$ 20.8

Amount, after allowance for credit loss, of right to consideration in exchange for good or service transferred to customer when right is conditioned on something other than passage of time.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 606
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 11
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479806/606-10-50-11

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 606
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 3
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479837/606-10-45-3

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Topic 606
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 1
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479837/606-10-45-1

Reference 4: http://www.xbrl.org/2003/role/disclosureRef
-Topic 606
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 8
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479806/606-10-50-8

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