Receivables - Financing Receivables Past Due (Details) - USD ($) $ in Millions	3 Months Ended		9 Months Ended
	Jul. 30, 2023	Jul. 31, 2022	Jul. 30, 2023	Jul. 31, 2022
Receivable, Past Due
Financing Receivable, Practical Expedient, Accrued Interest Exclusion [true false]	false		false
Minimum number of days for a receivable to be considered past due	30 days		30 days
Non-performing
Receivable, Past Due
Accrued finance income and lease revenue reversed	$ 4.5	$ 2.0	$ 12.4	$ 8.8
Finance income and lease revenue recognized on cash payments	$ 5.6	$ 4.8	$ 13.3	$ 11.8
Customer Receivables
Receivable, Past Due
Generally the number of days for a financing receivable to be considered non-performing			90 days
Generally the number of days before a receivable is delinquent and the estimated uncollectible amount is written off	120 days		120 days
Wholesale Receivables
Receivable, Past Due
Generally the number of days for a financing receivable to be considered non-performing			60 days
Generally the number of days before a receivable is delinquent and the estimated uncollectible amount is written off	60 days		60 days