XML 54 R42.htm IDEA: XBRL DOCUMENT v3.23.3
Leases - Lessor (Details) - USD ($)
$ in Millions
3 Months Ended
Oct. 31, 2023
Oct. 31, 2022
Jul. 31, 2023
Leases [Abstract]      
Property subject to or available for operating lease gross $ 50.3   $ 51.2
Property subject to or available for operating lease accumulated depreciation 3.9   $ 3.8
Operating lease income $ 4.4 $ 4.1