XML 56 R43.htm IDEA: XBRL DOCUMENT v3.20.4
Fair Value Measurements - Narrative (Details) - Senior Notes - USD ($)
$ in Millions
Jan. 31, 2021
Oct. 25, 2020
Schedule of Investment Income, Reported Amounts, by Category [Line Items]    
Long-term debt, principal amount $ 5,500 $ 5,500
Estimated fair value | Level 2    
Schedule of Investment Income, Reported Amounts, by Category [Line Items]    
Long-term debt fair value $ 6,600 $ 6,600