XML 54 R42.htm IDEA: XBRL DOCUMENT v3.23.1
Leases - Lessor (Details) - USD ($)
$ in Millions
3 Months Ended 9 Months Ended
Apr. 30, 2023
Apr. 30, 2022
Apr. 30, 2023
Apr. 30, 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.6   3.6   $ 2.8
Operating lease income $ 4.0 $ 3.6 $ 12.3 $ 10.9