XML 56 R44.htm IDEA: XBRL DOCUMENT v3.24.0.1
Leases - Lessor (Details) - USD ($)
$ in Millions
3 Months Ended 6 Months Ended
Jan. 31, 2024
Jan. 31, 2023
Jan. 31, 2024
Jan. 31, 2023
Jul. 31, 2023
Leases [Abstract]          
Property subject to or available for operating lease gross $ 50.3   $ 50.3   $ 51.2
Property subject to or available for operating lease accumulated depreciation 4.1   4.1   $ 3.8
Operating lease income $ 4.2 $ 4.1 $ 8.6 $ 8.3