XML 62 R43.htm IDEA: XBRL DOCUMENT v3.23.1
LEASES - LESSOR (Tables)
6 Months Ended
Apr. 30, 2023
LEASES - LESSOR  
Schedule of Lease Revenues Earned

Lease revenues earned by the Company were as follows in millions of dollars:

​

​

​

​

​

​

​

​

​

​

​

​

​

​

​

​

Three Months Ended

​

Six Months Ended

​

​

  

April 30, 2023

   

May 1, 2022

   

April 30, 2023

   

May 1, 2022

​

Sales-type and direct finance lease revenues

​

$

37

​

$

35

​

$

79

​

$

74

​

Operating lease revenues

​

​

321

​

​

330

​

​

642

​

​

665

​

Variable lease revenues

​

​

5

​

​

7

​

​

11

​

​

14

​

Total lease revenues

​

$

363

​

$

372

​

$

732

​

$

753

​