Leases (Narrative) (Details) - USD ($) $ in Millions	12 Months Ended
	Dec. 31, 2023	Dec. 31, 2022	Dec. 31, 2021
Lessee, Lease, Description [Line Items]
Operating lease expense	$ 12.8	$ 10.4	$ 8.1
Royalty expense	177.1	$ 189.7	$ 127.8
Surety bonds, lease obligations	$ 40.4
Minimum
Lessee, Lease, Description [Line Items]
Operating lease, remaining lease terms	1 year
Maximum
Lessee, Lease, Description [Line Items]
Operating lease, remaining lease terms	3 years