Investments - Auction rate securities (Details) - Auction rate securities	Apr. 30, 2018 item
Investments
Number of available-for-sale securities	2
Minimum
Available For Sale Securities
Maturity period of available-for-sale securities	1 year
Maximum
Available For Sale Securities
Maturity period of available-for-sale securities	16 years

Number of investments in debt securities measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), in unrealized loss position, without allowance for credit loss. Includes beneficial interest in securitized financial asset.

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

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 326
-SubTopic 30
-Section 50
-Paragraph 4
-Subparagraph (b)(3)
-URI http://asc.fasb.org/extlink&oid=118955579&loc=SL82922888-210455

Name:	us-gaap_DebtSecuritiesAvailableForSaleUnrealizedLossPositionNumberOfPositions
Namespace Prefix:	us-gaap_
Data Type:	xbrli:integerItemType
Balance Type:	na
Period Type:	instant