v3.24.3
Financing Receivables - Internal Credit Risk (Details) - USD ($)
$ in Millions
Oct. 31, 2024
Jul. 31, 2024
Financing Receivable, Credit Quality Indicator [Line Items]    
Remainder of fiscal year $ 51.2  
Current fiscal year 1,248.4 $ 1,161.3
Fiscal year before current fiscal year 562.7 674.3
Two years before current fiscal year 13.3 36.1
Three years before current fiscal year 37.1 54.6
Total 1,912.7 1,926.3
1 to 4    
Financing Receivable, Credit Quality Indicator [Line Items]    
Remainder of fiscal year 7.4  
Current fiscal year 916.1 885.9
Fiscal year before current fiscal year 387.5 477.3
Two years before current fiscal year 9.9 14.7
Three years before current fiscal year 26.7 44.4
Total 1,347.6 1,422.3
5 to 6    
Financing Receivable, Credit Quality Indicator [Line Items]    
Remainder of fiscal year 43.7  
Current fiscal year 330.1 272.2
Fiscal year before current fiscal year 152.3 172.0
Two years before current fiscal year 3.1 21.1
Three years before current fiscal year 1.1 1.1
Total 530.3 466.4
7 to 10    
Financing Receivable, Credit Quality Indicator [Line Items]    
Remainder of fiscal year 0.1  
Current fiscal year 2.2 3.2
Fiscal year before current fiscal year 22.9 25.0
Two years before current fiscal year 0.3 0.3
Three years before current fiscal year 9.3 9.1
Total $ 34.8 $ 37.6