XML 86 R70.htm IDEA: XBRL DOCUMENT v3.24.3
Discontinued Operations (Details) - USD ($)
$ in Millions
12 Months Ended
Aug. 22, 2022
Jul. 31, 2024
Discontinued Operations [Abstract]    
Aggregate gross purchase price $ 49.4  
Note payable   $ 15.0
Net cash amount   33.0
Gain on disposal of discontinued operations   6.8
Gross proceeds of sale   49.4
Carrying value of property   40.2
Transaction costs   1.2
Deferred rental income   $ 1.2