XML 91 R80.htm IDEA: XBRL DOCUMENT v3.24.0.1
Financing Receivables - Additional Information (Details)
6 Months Ended
Jan. 27, 2024
Accounts, Notes, Loans and Financing Receivable [Line Items]  
Lease receivables terms, on average 4 years
Threshold for past due receivables 31 days
Minimum  
Accounts, Notes, Loans and Financing Receivable [Line Items]  
Loan receivables term, on average 1 year
Maximum  
Accounts, Notes, Loans and Financing Receivable [Line Items]  
Loan receivables term, on average 3 years