Market Value and Amortized Cost of Marketable Securities (Parenthetical) (Detail) - USD ($)	Jan. 31, 2018	Jul. 31, 2017
Schedule of Available-for-sale Securities [Line Items]
Held to maturity investments	$ 0	$ 0

Amount after other than temporary impairment (OTTI) accretion, of investments in debt securities classified as held-to-maturity.

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 5
-Subparagraph (a)
-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 25
-Paragraph 1
-Subparagraph (c)
-URI http://asc.fasb.org/extlink&oid=75030427&loc=d3e22054-111558

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

Reference 4: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 944
-SubTopic 210
-Section S99
-Paragraph 1
-Subparagraph (SX 210.7-03.1)
-URI http://asc.fasb.org/extlink&oid=6879938&loc=d3e572229-122910

Reference 5: 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.6)
-URI http://asc.fasb.org/extlink&oid=6876686&loc=d3e534808-122878

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