v3.25.2
Divestiture (Details)
$ in Millions
Apr. 29, 2023
USD ($)
Business Combination [Abstract]  
Gain on disposition of business $ 10