Marketable Securities (Details) - USD ($) $ in Thousands		3 Months Ended
Mar. 11, 2014	Jul. 31, 2017
Schedule of Available-for-sale Securities [Line Items]
Available-for-sale Securities, Realized Losses, Excluding Other than Temporary Impairments		$ 695
Investee [Member] \| Velocys [Member]
Schedule of Available-for-sale Securities [Line Items]
Payments to Acquire Marketable Securities Including Premium	$ 2,000
Marketable Securities	1,527
Investment, Unamortized Premium	$ 473

Total debt and equity financial instruments including: (1) securities held-to-maturity, (2) trading securities, and (3) securities available-for-sale.

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

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

Reference 3: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 942
-SubTopic 210
-Section S99
-Paragraph 1
-Subparagraph (SX 210.9-03.4)
-URI http://asc.fasb.org/extlink&oid=6876686&loc=d3e534808-122878

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