Shareholders' Equity (Schedule of Dividends Paid and Dividends Declared) (Details) - USD ($) $ / shares in Units, $ in Millions	1 Months Ended	9 Months Ended
	Nov. 03, 2022	Sep. 30, 2022
February 27,2022 [Member]
Date Declared		Feb. 27, 2022
Payable to Shareholders of Record at the Close of Business on		Mar. 10, 2022
Cash Paid Per Share		$ 0.71
Aggregate Amount Paid		$ 76.9
Date Paid/Date to be Paid		Mar. 25, 2022
April 24, 2022 [Member]
Date Declared		Apr. 24, 2022
Payable to Shareholders of Record at the Close of Business on		May 19, 2022
Cash Paid Per Share		$ 0.71
Aggregate Amount Paid		$ 76.6
Date Paid/Date to be Paid		Jun. 14, 2022
July 31, 2022 [Member]
Date Declared		Jul. 31, 2022
Payable to Shareholders of Record at the Close of Business on		Aug. 25, 2022
Cash Paid Per Share		$ 0.71
Aggregate Amount Paid		$ 76.7
Date Paid/Date to be Paid		Sep. 20, 2022
Subsequent Event [Member] | July 31, 2022 [Member]
Date Declared	Oct. 30, 2022
Payable to Shareholders of Record at the Close of Business on	Nov. 17, 2022
Cash to be Paid Per Share	$ 0.71
Date Paid/Date to be Paid	Dec. 15, 2022