Receivables - Financing Receivables Past Due (Details) - USD ($) $ in Millions	3 Months Ended		6 Months Ended
	Apr. 30, 2023	May 01, 2022	Apr. 30, 2023	May 01, 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	$ 5.1	$ 3.0	$ 7.9	$ 6.8
Finance income and lease revenue recognized on cash payments	$ 4.6	$ 3.9	$ 7.7	$ 7.0
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