Revenue Recognition - Additional Information (Details1) $ in Millions	Apr. 30, 2019 USD ($)
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date: 2019-05-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Remaining performance obligation	$ 376.5
Revenue remaining performance obligation, expected timing of satisfaction period	9 months
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date: 2020-02-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Remaining performance obligation percentage	64.00%
Revenue remaining performance obligation, expected timing of satisfaction period	1 year
Billed consideration | Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date: 2019-05-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Remaining performance obligation	$ 149.3
Unbilled consideration | Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date: 2019-05-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Remaining performance obligation	$ 227.2