Receivables - Write-offs by Year of Origination (Details) - USD ($) $ in Millions	3 Months Ended
	Jan. 28, 2024	Jan. 29, 2023
Write-offs by Year of Origination
Total	$ 35.0	$ 17.8
Customer Receivables
Write-offs by Year of Origination
2024	0.2
2023	7.0
2022	7.4
2021	4.0
2020	4.4
Prior Years	1.3
Revolving Charge Accounts	10.7
Total	35.0
Customer Receivables | Agriculture and turf
Write-offs by Year of Origination
2023	1.5
2022	2.9
2021	1.8
2020	3.6
Prior Years	0.6
Revolving Charge Accounts	8.8
Total	19.2
Customer Receivables | Construction and forestry
Write-offs by Year of Origination
2024	0.2
2023	5.5
2022	4.5
2021	2.2
2020	0.8
Prior Years	0.7
Revolving Charge Accounts	1.9
Total	$ 15.8
Wholesale Receivables
Write-offs by Year of Origination
Total		$ 0.1