Goodwill and Intangible Assets (Reconciliation of Intangible Assets) (Details) - USD ($) $ in Millions	3 Months Ended		6 Months Ended
	Jan. 31, 2023	Jan. 31, 2022	Jan. 31, 2023	Jan. 31, 2022
Total Net Value
Intangible assets, net, beginning balance			$ 99.8
Amortization expense	$ (2.5)	$ (2.4)	(5.1)	$ (4.5)
Foreign currency translation			1.7
Intangible assets, net, ending balance	96.4		96.4
Customer Relationships
Gross Carrying Amount
Gross carrying amount beginning balance			104.6
Amortization expense			0.0
Foreign currency translation			0.5
Gross carrying amount ending balance	105.1		105.1
Accumulated Amortization
Accumulated amortization beginning balance			(60.3)
Amortization expense			(2.6)
Foreign currency translation			0.2
Accumulated amortization ending balance	(62.7)		(62.7)
Total Net Value
Intangible assets, net, beginning balance			44.3
Amortization expense			(2.6)
Foreign currency translation			0.7
Intangible assets, net, ending balance	42.4		42.4
Patents, Trademarks and Technology
Gross Carrying Amount
Gross carrying amount beginning balance			71.9
Amortization expense			0.0
Foreign currency translation			1.1
Gross carrying amount ending balance	73.0		73.0
Accumulated Amortization
Accumulated amortization beginning balance			(16.4)
Amortization expense			(2.5)
Foreign currency translation			(0.1)
Accumulated amortization ending balance	(19.0)		(19.0)
Total Net Value
Intangible assets, net, beginning balance			55.5
Amortization expense			(2.5)
Foreign currency translation			1.0
Intangible assets, net, ending balance	$ 54.0		$ 54.0