XML 88 R71.htm IDEA: XBRL DOCUMENT v3.22.2.2
Leases (Lease Cost) (Details) - USD ($)
$ in Millions
12 Months Ended
Jul. 31, 2022
Jul. 31, 2021
Leases [Abstract]    
Operating lease cost $ 21.4 $ 25.6
Short-term lease cost 3.1 2.4
Total lease costs $ 24.5 $ 28.0