v3.23.3
Fair value (Details)
$ in Millions
Oct. 31, 2023
USD ($)
Level 2 | 4.50% Senior Notes due 2029  
Defined Benefit Plan Disclosure [Line Items]  
Fair value of the notes $ 514.7