Financial instruments - Aggregate Estimated Fair Value of Investments with Unrealized Losses (Detail) - U.S. Treasury Securities [Member] - USD ($) $ in Thousands	Dec. 31, 2017	Dec. 31, 2016
Schedule of Available-for-sale Securities [Line Items]
Period of continuous unrealized loss, 12 months or less, Fair value	$ 15,983	$ 120,804
Period of continuous unrealized loss, 12 months or less, Gross unrealized losses	(27)	$ (170)
Period of continuous unrealized loss, Greater than 12 months, Fair value	40,070
Period of continuous unrealized loss, Greater than 12 months, Gross unrealized losses	$ (43)

Amount of accumulated unrealized loss on investments in debt and equity securities classified as available-for-sale that have been in a continuous loss position for twelve months or longer.

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 6
-Subparagraph (a)(2)
-URI http://asc.fasb.org/extlink&oid=82897076&loc=d3e27290-111563

Reference 2: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 7
-URI http://asc.fasb.org/extlink&oid=82897076&loc=d3e27337-111563

+ Details

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

- Definition

Amount of accumulated unrealized loss on investments in debt and equity securities classified as available-for-sale that have been in a continuous loss position for less than twelve months.

+ References

+ Details

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

- Definition

This item represents the aggregate fair value of investments in debt and equity securities categorized neither as held-to-maturity nor trading securities that have been in a continuous unrealized loss position for less than twelve months.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 7
-URI http://asc.fasb.org/extlink&oid=82897076&loc=d3e27337-111563

Reference 2: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 6
-Subparagraph (a)(1)
-URI http://asc.fasb.org/extlink&oid=82897076&loc=d3e27290-111563

+ Details

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

- Definition

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 6
-Subparagraph (a)(1)
-URI http://asc.fasb.org/extlink&oid=82897076&loc=d3e27290-111563

Reference 2: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 7
-URI http://asc.fasb.org/extlink&oid=82897076&loc=d3e27337-111563

+ Details

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

- Definition

Line items represent financial concepts included in a table. These concepts are used to disclose reportable information associated with domain members defined in one or many axes to the table.

+ References

No definition available.

+ Details

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

- Details

Name:	us-gaap_MajorTypesOfDebtAndEquitySecuritiesAxis=us-gaap_USTreasurySecuritiesMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: