Fair value Measurement of Assets and Liabilities - Additional Information (Detail) - USD ($)	6 Months Ended	12 Months Ended
Jan. 31, 2017	Jul. 31, 2016
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Defined benefit plans assets percentage invested in bank-managed portfolios	100.00%
Fair value, assets, Level 1 to Level 2 transfers, amount	$ 0	$ 0
Fair value, assets, Level 2 to Level 1 transfers, amount	0	0
Fair value, assets, transfers into Level 3	0	0
Fair value, assets, transfers out of Level 3	$ 0	$ 0

Target allocation of investments of this type to total plan assets presented on a weighted average basis.

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 715
-SubTopic 20
-Section 50
-Paragraph 5
-Subparagraph (c)(i)
-URI http://asc.fasb.org/extlink&oid=65897934&loc=d3e2446-114920

Reference 2: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 715
-SubTopic 20
-Section 50
-Paragraph 1
-Subparagraph (d)(i)
-URI http://asc.fasb.org/extlink&oid=65897934&loc=d3e1928-114920

+ Details

Name:	us-gaap_DefinedBenefitPlanTargetPlanAssetAllocations
Namespace Prefix:	us-gaap_
Data Type:	num:percentItemType
Balance Type:	na
Period Type:	duration

- 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_FairValueAssetsAndLiabilitiesMeasuredOnRecurringAndNonrecurringBasisLineItems
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- Definition

Amount of transfers of assets measured on a recurring basis out of Level 1 of the fair value hierarchy into Level 2.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 820
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (bb)
-URI http://asc.fasb.org/extlink&oid=66048111&loc=d3e19207-110258

+ Details

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

- Definition

Amount of transfers of assets measured on a recurring basis out of Level 2 of the fair value hierarchy into Level 1.

+ References

+ Details

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

- Definition

Amount of transfer of financial instrument classified as an asset into level 3 of the fair value hierarchy.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 820
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (c)(3)
-URI http://asc.fasb.org/extlink&oid=66048111&loc=d3e19207-110258

+ Details

Name:	us-gaap_FairValueMeasurementWithUnobservableInputsReconciliationRecurringBasisAssetTransfersIntoLevel3
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- Definition

Amount of transfers of financial instrument classified as an asset out of level 3 of the fair value hierarchy.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 820
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (c)(3)
-URI http://asc.fasb.org/extlink&oid=66048111&loc=d3e19207-110258

+ Details

Name:	us-gaap_FairValueMeasurementWithUnobservableInputsReconciliationRecurringBasisAssetTransfersOutOfLevel3
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration