XML 49 R39.htm IDEA: XBRL DOCUMENT v3.22.0.1
Leases - Lessor (Details) - USD ($)
$ in Millions
3 Months Ended 6 Months Ended
Jan. 31, 2022
Jan. 31, 2021
Jan. 31, 2022
Jan. 31, 2021
Jul. 31, 2021
Leases [Abstract]          
Property subject to or available for operating lease gross $ 56.8   $ 56.8   $ 55.5
Property subject to or available for operating lease accumulated depreciation 2.2   2.2   $ 1.9
Operating lease income $ 3.7 $ 3.6 $ 7.2 $ 7.2