Leases (Narrative) (Details) - USD ($) $ in Millions	12 Months Ended
	Dec. 31, 2022	Dec. 31, 2021	Dec. 31, 2020
Lessee, Lease, Description [Line Items]
Operating lease expense	$ 11.5	$ 9.2	$ 8.6
Royalty expense	189.7	$ 127.8	$ 103.7
Surety bonds, lease obligations	$ 31.8
Minimum
Lessee, Lease, Description [Line Items]
Operating lease, remaining lease terms	1 year
Maximum
Lessee, Lease, Description [Line Items]
Operating lease, remaining lease terms	6 years