v3.26.1
Other employee benefits (Schedule of additional information about other employee benefit plans) - (Details) - Other employee benefits [Member] - USD ($)
$ in Millions
12 Months Ended
Dec. 31, 2025
Dec. 31, 2024
Other Employee Benefits [Line Items]    
Opening defined benefit obligation $ 81.5 $ 103.2
Current service cost 1.8 2.8
Past service cost 0.0 1.6
Interest cost 3.8 4.5
Benefits paid (2.8) (2.9)
Remeasurement actuarial (gain)/loss:    
Arising from changes in demographic assumptions 0.0 (12.8)
Arising from changes in financial assumptions (4.4) (1.2)
Arising from experience adjustments (0.4) (5.3)
Effects of movements in exchange rates 4.1 (8.4)
Closing defined benefit obligation $ 83.6 $ 81.5