Financial Instruments - Contractual Maturities of Investments in Available-for-Sale Debt Securities (Details) $ in Millions |
Apr. 30, 2018
USD ($)
|
|---|---|
| Amortized Cost | |
| Due in one year | $ 3 |
| Due in more than five years | 149 |
| Debt securities, Amortized Cost | 152 |
| Fair Value | |
| Due in one year | 3 |
| Due in more than five years | 170 |
| Total | $ 173 |
| X | ||||||||||
- Definition Amortized Cost of available-for-sale debt securities, maturing after the fifth fiscal year following the latest fiscal year. No definition available.
|
| X | ||||||||||
- Definition Fair value of available-for-sale debt securities, maturing after the fifth fiscal year following the latest fiscal year. No definition available.
|
| X | ||||||||||
- Definition This item represents the cost of debt securities, which are categorized neither as held-to-maturity nor trading, net of adjustments including accretion, amortization, collection of cash, previous other-than-temporary impairments recognized in earnings (less any cumulative-effect adjustments recognized, as defined), and fair value hedge accounting adjustments, if any. Reference 1: http://www.xbrl.org/2003/role/presentationRef
|
| X | ||||||||||
- References No definition available.
|
| X | ||||||||||
- References No definition available.
|
| X | ||||||||||
- Definition Amount after adjustments of available-for-sale debt securities at cost, maturing in the next fiscal year following the latest fiscal year. Adjustments include, but are not limited to, accretion, amortization, collection of cash, previous other-than-temporary impairments (OTTI) recognized in earnings less cumulative-effect adjustments, and fair value hedge accounting adjustments. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest balance sheet date. Reference 1: http://www.xbrl.org/2003/role/presentationRef
|
| X | ||||||||||
- Definition Fair value of available-for-sale debt securities maturing in the next fiscal year following the latest fiscal year. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest balance sheet date. Reference 1: http://www.xbrl.org/2003/role/presentationRef
|
| X | ||||||||||
- Definition Amount of debt securities categorized neither as held-to-maturity nor trading. Reference 1: http://www.xbrl.org/2003/role/presentationRef
|