Financing Receivables and Operating Leases (Minimum future rental payments) (Details) $ in Millions	Apr. 29, 2017 USD ($)
Receivables [Abstract]
2017 (remaining three months)	$ 53
2018	157
2019	81
2020	23
2021	5
Thereafter	2
Total	$ 321

Future minimum rental payments in aggregate as of the balance sheet date under operating leases.

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 840
-SubTopic 20
-Section 50
-Paragraph 4
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=6454179&loc=d3e41551-112718

+ Details

Name:	us-gaap_OperatingLeasesFutureMinimumPaymentsReceivable
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Future rental payments receivable within one year of the balance sheet date under an operating lease.

+ References

+ Details

Name:	us-gaap_OperatingLeasesFutureMinimumPaymentsReceivableCurrent
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Future rental payments receivable within the fifth year from the balance sheet date under an operating lease.

+ References

+ Details

Name:	us-gaap_OperatingLeasesFutureMinimumPaymentsReceivableInFiveYears
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Future rental payments receivable within the fourth year from the balance sheet date under an operating lease.

+ References

+ Details

Name:	us-gaap_OperatingLeasesFutureMinimumPaymentsReceivableInFourYears
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Future rental payments receivable within the third year from the balance sheet date under an operating lease.

+ References

+ Details

Name:	us-gaap_OperatingLeasesFutureMinimumPaymentsReceivableInThreeYears
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Future rental payments receivable within the second year from the balance sheet date under an operating lease.

+ References

+ Details

Name:	us-gaap_OperatingLeasesFutureMinimumPaymentsReceivableInTwoYears
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Future minimum lease payments receivable under operating leases for periods greater than five years following the balance sheet date.

+ References

+ Details

Name:	us-gaap_OperatingLeasesFutureMinimumPaymentsReceivableThereafter
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- References

No definition available.

+ Details

Name:	us-gaap_ReceivablesAbstract
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration