v3.26.1
Fair value (Details)
$ in Millions
Apr. 30, 2026
USD ($)
4.50% Senior Notes due 2029 | Level 2  
Defined Benefit Plan Disclosure [Line Items]  
Fair value of the notes $ 583.5