Derivative Instruments and Hedging (Details) € in Millions, $ in Millions	9 Months Ended
	Apr. 30, 2023 USD ($)	Apr. 30, 2023 EUR (€)	Jul. 31, 2022 USD ($)	Jul. 31, 2022 EUR (€)
Fair Value, Inputs, Level 2 | Designated as hedging instruments | Net investment hedges
Derivative
Notional amount	$ 88.8	€ 80	$ 88.8	€ 80
Foreign currency forward contracts
Derivative
Derivative instrument term (in months)	12 months
Foreign currency forward contracts | Fair Value, Inputs, Level 2 | Designated as hedging instruments
Derivative
Notional amount	$ 69.3		158.0
Foreign currency forward contracts | Fair Value, Inputs, Level 2 | Not designated as hedging instruments
Derivative
Notional amount	$ 370.4		$ 151.6