XML 55 R42.htm IDEA: XBRL DOCUMENT v3.22.4
Leases - Lessor (Details) - USD ($)
$ in Millions
3 Months Ended 6 Months Ended
Jan. 31, 2023
Jan. 31, 2022
Jan. 31, 2023
Jan. 31, 2022
Jul. 31, 2022
Leases [Abstract]          
Property subject to or available for operating lease gross $ 51.2   $ 51.2   $ 51.2
Property subject to or available for operating lease accumulated depreciation 3.3   3.3   $ 2.8
Operating lease income $ 4.1 $ 3.7 $ 8.3 $ 7.2