Stockholder's Equity (Details Textuals 4) - USD ($) $ in Millions	12 Months Ended
Jul. 31, 2018	Jul. 31, 2017	Jul. 31, 2016
Equity [Abstract]
Aggregate intrinsic value of options exercised	$ 111.5	$ 366.7	$ 53.6
Unrecognized total compensation cost related to non-vested stock-based awards	$ 30.1
Amortized cost on a straight-line basis over a weighted average term	2 years 6 months 4 days
Fair value of options vested	$ 19.1	$ 18.6	$ 21.0

Unrecognized cost of unvested share-based compensation awards.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 718
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (i)
-URI http://asc.fasb.org/extlink&oid=109197908&loc=d3e5070-113901

+ Details

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

- References

No definition available.

+ Details

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

- Definition

Amount of accumulated difference between fair value of underlying shares on dates of exercise and exercise price on options exercised (or share units converted) into shares.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 718
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (d)(2)
-URI http://asc.fasb.org/extlink&oid=109197908&loc=d3e5070-113901

+ Details

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

- Definition

Weighted average remaining contractual term for fully vested and expected to vest exercisable or convertible options, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents the reported fact of one year, five months, and thirteen days. Includes, but is not limited to, unvested options for which requisite service period has not been rendered but that are expected to vest based on achievement of performance condition, if forfeitures are recognized when they occur.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 718
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (e)(2)
-URI http://asc.fasb.org/extlink&oid=109197908&loc=d3e5070-113901

+ Details

Name:	us-gaap_SharebasedCompensationArrangementBySharebasedPaymentAwardOptionsVestedAndExpectedToVestExercisableWeightedAverageRemainingContractualTerm1
Namespace Prefix:	us-gaap_
Data Type:	xbrli:durationItemType
Balance Type:	na
Period Type:	duration

- Definition

Fair value of options vested. Excludes equity instruments other than options, for example, but not limited to, share units, stock appreciation rights, restricted stock.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 718
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (c)
-URI http://asc.fasb.org/extlink&oid=109197908&loc=d3e5070-113901

+ Details

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