Principal maturities of long-term debt - Additional Information (Detail) $ in Millions	Dec. 31, 2016 USD ($)
Debt Disclosure [Abstract]
Principal amount of long-term debt maturing in year 2017	$ 4
Principal amount of long-term debt maturing in year 2018	1,035
Principal amount of long-term debt maturing in year 2019	1,134
Principal amount of long-term debt maturing in year 2020	1,002
Principal amount of long-term debt maturing in year 2021	$ 1,251

No definition available.

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

- Definition

Amount of long-term debt payable, sinking fund requirements, and other securities issued that are redeemable by holder at fixed or determinable prices and dates 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.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 235
-SubTopic 10
-Section S99
-Paragraph 3
-Subparagraph (SX 210.12-04.(a))
-URI http://asc.fasb.org/extlink&oid=26873400&loc=d3e24072-122690

Reference 2: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 470
-SubTopic 10
-Section 50
-Paragraph 1
-URI http://asc.fasb.org/extlink&oid=6802200&loc=d3e1835-112601

+ Details

Name:	us-gaap_LongTermDebtMaturitiesRepaymentsOfPrincipalInNextTwelveMonths
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of long-term debt payable, sinking fund requirements, and other securities issued that are redeemable by holder at fixed or determinable prices and dates maturing in the fifth 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.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 470
-SubTopic 10
-Section 50
-Paragraph 1
-URI http://asc.fasb.org/extlink&oid=6802200&loc=d3e1835-112601

Reference 2: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 235
-SubTopic 10
-Section S99
-Paragraph 3
-Subparagraph (SX 210.12-04.(a))
-URI http://asc.fasb.org/extlink&oid=26873400&loc=d3e24072-122690

+ Details

Name:	us-gaap_LongTermDebtMaturitiesRepaymentsOfPrincipalInYearFive
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of long-term debt payable, sinking fund requirements, and other securities issued that are redeemable by holder at fixed or determinable prices and dates maturing in the fourth 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.

+ References

+ Details

Name:	us-gaap_LongTermDebtMaturitiesRepaymentsOfPrincipalInYearFour
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of long-term debt payable, sinking fund requirements, and other securities issued that are redeemable by holder at fixed or determinable prices and dates maturing in the third 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.

+ References

+ Details

Name:	us-gaap_LongTermDebtMaturitiesRepaymentsOfPrincipalInYearThree
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of long-term debt payable, sinking fund requirements, and other securities issued that are redeemable by holder at fixed or determinable prices and dates maturing in the second 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.

+ References

+ Details

Name:	us-gaap_LongTermDebtMaturitiesRepaymentsOfPrincipalInYearTwo
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant