Fair Value Measurements - Balance Sheet Classification (Details) - USD ($) $ in Millions	Jan. 31, 2020	Jul. 31, 2019
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Cash and cash equivalents, fair value	$ 1,641	$ 2,116
Available-for-sale debt securities	825	824
Fair value, measurements, recurring
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Cash and cash equivalents, fair value	1,222	1,647
Available-for-sale debt securities	825	824
Fair value, measurements, recurring | Level 1
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Cash and cash equivalents, fair value	1,222	1,647
Available-for-sale debt securities	0	0
Fair value, measurements, recurring | Level 2
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Cash and cash equivalents, fair value	0	0
Available-for-sale debt securities	825	824
Fair value, measurements, recurring | Available for sale debt securities in investments
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Available-for-sale debt securities	625	624
Fair value, measurements, recurring | Available for sale debt securities in investments | Level 1
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Available-for-sale debt securities	0	0
Fair value, measurements, recurring | Available for sale debt securities in investments | Level 2
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Available-for-sale debt securities	625	624
Fair value, measurements, recurring | Available for sale debt securities in funds held for customers
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Available-for-sale debt securities	200	200
Fair value, measurements, recurring | Available for sale debt securities in funds held for customers | Level 1
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Available-for-sale debt securities	0	0
Fair value, measurements, recurring | Available for sale debt securities in funds held for customers | Level 2
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Available-for-sale debt securities	200	200
In cash and cash equivalents | Fair value, measurements, recurring
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Cash and cash equivalents, fair value	1,173	1,647
In cash and cash equivalents | Fair value, measurements, recurring | Level 1
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Cash and cash equivalents, fair value	1,173	1,647
In cash and cash equivalents | Fair value, measurements, recurring | Level 2
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Cash and cash equivalents, fair value	0	0
In funds held for customers | Fair value, measurements, recurring
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Cash and cash equivalents, fair value	49	0
In funds held for customers | Fair value, measurements, recurring | Level 1
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Cash and cash equivalents, fair value	49	0
In funds held for customers | Fair value, measurements, recurring | Level 2
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Cash and cash equivalents, fair value	$ 0	$ 0