Revenue - Performance Obligations (Details) $ in Millions	Apr. 30, 2021 USD ($)
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2021-05-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Expected revenue	$ 47
Expected revenue, period	6 months
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2021-11-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Expected revenue	$ 82
Expected revenue, period	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2022-11-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Expected revenue	$ 53
Expected revenue, period	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2023-11-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Expected revenue	$ 26
Expected revenue, period	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-11-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Expected revenue	$ 12
Expected revenue, period	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2025-11-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Expected revenue	$ 9
Expected revenue, period