v3.25.2
Revenue (Additional Information 1) (Details) - Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2025-06-30
$ in Millions
Jun. 30, 2025
USD ($)
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]  
Revenue remaining performance obligation $ 165
Revenue remaining performance obligation percentage 50.00%
Revenue remaining performance obligation expected timing of satisfaction period1 12 months