Equity and Redeemable Preferred Stock - Inputs Used to Estimate Future Market Value (Details)	Jul. 31, 2020	Jul. 02, 2020
Expected Volatility | Minimum | Mandatory Convertible Preferred Stock
Fair Value Measurement Inputs and Valuation Techniques [Line Items]
Measurement input		0.50
Expected Volatility | Maximum | Mandatory Convertible Preferred Stock
Fair Value Measurement Inputs and Valuation Techniques [Line Items]
Measurement input		0.55
Cost of Equity | Minimum | Mandatory Convertible Preferred Stock
Fair Value Measurement Inputs and Valuation Techniques [Line Items]
Measurement input		0.14
Cost of Equity | Maximum | Mandatory Convertible Preferred Stock
Fair Value Measurement Inputs and Valuation Techniques [Line Items]
Measurement input		0.17
Dividend Yield | Series A Mandatory Convertible Preferred Stock
Fair Value Measurement Inputs and Valuation Techniques [Line Items]
Measurement input	0
Dividend Yield | Mandatory Convertible Preferred Stock
Fair Value Measurement Inputs and Valuation Techniques [Line Items]
Measurement input		0