Derivative Instruments and Hedging (Details) € in Millions, $ in Millions	6 Months Ended
	Jan. 31, 2023 USD ($)	Jan. 31, 2023 EUR (€)	Jul. 31, 2022 USD ($)	Jul. 31, 2022 EUR (€)
Fair Value, Inputs, Level 2 | Designated as hedging instruments | Net investment hedges
Derivative [Line Items]
Notional amount	$ 88.8	€ 80	$ 88.8	€ 80
Foreign currency forward contracts
Derivative [Line Items]
Derivative instrument term (in months)	12 months
Foreign currency forward contracts | Fair Value, Inputs, Level 2 | Designated as hedging instruments
Derivative [Line Items]
Notional amount	$ 77.2		158.0
Foreign currency forward contracts | Fair Value, Inputs, Level 2 | Not designated as hedging instruments
Derivative [Line Items]
Notional amount	$ 207.9		$ 151.6