v3.22.2.2
Long-Term Debt (Details) - Unsecured revolving credit facility
3 Months Ended
Oct. 31, 2022
USD ($)
Debt Instrument  
Maximum borrowing capacity $ 63,000,000
Unsecured revolving credit facility  
Debt Instrument  
Remaining borrowing capacity 407,500,000
Maximum borrowing capacity 500,000,000
Proceeds from lines of credit $ 85,000,000