XML 63 R40.htm IDEA: XBRL DOCUMENT v3.20.2
Fair Value Measurements - Schedule of financial assets and liabilities measured at fair value (Details) - USD ($)
$ in Millions
Jul. 31, 2020
Jul. 31, 2019
Available-for-sale debt securities:    
Total available-for-sale debt securities $ 808 $ 824
Liabilities:    
Carrying value 2,048  
Municipal bonds    
Available-for-sale debt securities:    
Total available-for-sale debt securities 9 5
Corporate notes    
Available-for-sale debt securities:    
Total available-for-sale debt securities 752 800
U.S. agency securities    
Available-for-sale debt securities:    
Total available-for-sale debt securities 47 19
Fair Value, Measurements, Recurring    
Assets:    
Cash equivalents, primarily time deposits, savings deposit accounts, and money market funds 5,765 1,647
Available-for-sale debt securities:    
Total available-for-sale debt securities 808 824
Total assets measured at fair value on a recurring basis 6,573 2,471
Fair Value, Measurements, Recurring | Municipal bonds    
Available-for-sale debt securities:    
Total available-for-sale debt securities 9 5
Fair Value, Measurements, Recurring | Corporate notes    
Available-for-sale debt securities:    
Total available-for-sale debt securities 752 800
Fair Value, Measurements, Recurring | U.S. agency securities    
Available-for-sale debt securities:    
Total available-for-sale debt securities 47 19
Fair Value, Measurements, Recurring | Level 1    
Assets:    
Cash equivalents, primarily time deposits, savings deposit accounts, and money market funds 5,765 1,647
Available-for-sale debt securities:    
Total available-for-sale debt securities 0 0
Total assets measured at fair value on a recurring basis 5,765 1,647
Fair Value, Measurements, Recurring | Level 1 | Municipal bonds    
Available-for-sale debt securities:    
Total available-for-sale debt securities 0 0
Fair Value, Measurements, Recurring | Level 1 | Corporate notes    
Available-for-sale debt securities:    
Total available-for-sale debt securities 0 0
Fair Value, Measurements, Recurring | Level 1 | U.S. agency securities    
Available-for-sale debt securities:    
Total available-for-sale debt securities 0 0
Fair Value, Measurements, Recurring | Level 2    
Assets:    
Cash equivalents, primarily time deposits, savings deposit accounts, and money market funds 0 0
Available-for-sale debt securities:    
Total available-for-sale debt securities 808 824
Total assets measured at fair value on a recurring basis 808 824
Fair Value, Measurements, Recurring | Level 2 | Municipal bonds    
Available-for-sale debt securities:    
Total available-for-sale debt securities 9 5
Fair Value, Measurements, Recurring | Level 2 | Corporate notes    
Available-for-sale debt securities:    
Total available-for-sale debt securities 752 800
Fair Value, Measurements, Recurring | Level 2 | U.S. agency securities    
Available-for-sale debt securities:    
Total available-for-sale debt securities 47 19
Senior Unsecured Notes    
Liabilities:    
Carrying value 1,980  
Senior Unsecured Notes | Fair Value, Measurements, Recurring    
Liabilities:    
Senior unsecured notes 2,042 0
Senior Unsecured Notes | Fair Value, Measurements, Recurring | Level 1    
Liabilities:    
Senior unsecured notes 0 0
Senior Unsecured Notes | Fair Value, Measurements, Recurring | Level 2    
Liabilities:    
Senior unsecured notes $ 2,042 $ 0