Revenues - Summary of Remaining Performance Obligation (Details) - USD ($) $ in Billions |
Apr. 30, 2024 |
Jan. 31, 2024 |
|---|---|---|
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | ||
| Current | $ 26.4 | $ 27.6 |
| Noncurrent | 27.5 | 29.3 |
| Total | $ 53.9 | $ 56.9 |
| Minimum | Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-02-01 | ||
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | ||
| Noncurrent remaining performance obligation, recognition period | 13 months | |
| Maximum | Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2027-01-01 | ||
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | ||
| Noncurrent remaining performance obligation, recognition period | 36 months |