Goodwill and Intangible Assets (Reconciliation of Intangible Assets) (Details) - USD ($) $ in Millions	3 Months Ended		9 Months Ended
	Apr. 30, 2023	Apr. 30, 2022	Apr. 30, 2023	Apr. 30, 2022
Total Net Value
Intangible assets, net, beginning balance			$ 99.8
Intangible assets acquired			44.5
Amortization expense	$ (2.9)	$ (2.4)	(8.0)	$ (6.9)
Foreign currency translation			2.5
Intangible assets, net, ending balance	138.8		138.8
Customer Relationships
Gross Carrying Amount
Gross carrying amount beginning balance			104.6
Intangible assets acquired			0.0
Amortization expense			0.0
Foreign currency translation			1.0
Gross carrying amount ending balance	105.6		105.6
Accumulated Amortization
Accumulated amortization beginning balance			(60.3)
Intangible assets acquired			0.0
Amortization expense			(4.0)
Foreign currency translation			0.2
Accumulated amortization ending balance	(64.1)		(64.1)
Total Net Value
Intangible assets, net, beginning balance			44.3
Intangible assets acquired			0.0
Amortization expense			(4.0)
Foreign currency translation			1.2
Intangible assets, net, ending balance	41.5		41.5
Patents, Trademarks and Technology
Gross Carrying Amount
Gross carrying amount beginning balance			71.9
Intangible assets acquired			44.5
Amortization expense			0.0
Foreign currency translation			1.5
Gross carrying amount ending balance	117.9		117.9
Accumulated Amortization
Accumulated amortization beginning balance			(16.4)
Intangible assets acquired			0.0
Amortization expense			(4.0)
Foreign currency translation			(0.2)
Accumulated amortization ending balance	(20.6)		(20.6)
Total Net Value
Intangible assets, net, beginning balance			55.5
Intangible assets acquired			44.5
Amortization expense			(4.0)
Foreign currency translation			1.3
Intangible assets, net, ending balance	$ 97.3		$ 97.3