Contract Balances and Contract Costs - Remaining Performance Obligation Time Period (Details)	May 01, 2020
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2020-05-02
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Performance obligation period	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2020-05-02 | Performance obligation - active
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Performance obligation period	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2020-05-02 | Performance obligation - backlog
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Performance obligation period	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2021-05-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Performance obligation period	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2021-05-01 | Performance obligation - active
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Performance obligation period	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2021-05-01 | Performance obligation - backlog
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Performance obligation period	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2022-04-30
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Performance obligation period	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2022-04-30 | Performance obligation - active
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Performance obligation period	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2022-04-30 | Performance obligation - backlog
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Performance obligation period	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2023-05-06
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Performance obligation period
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2023-05-06 | Performance obligation - active
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Performance obligation period
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2023-05-06 | Performance obligation - backlog
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Performance obligation period