XML 69 R56.htm IDEA: XBRL DOCUMENT
v3.21.2

Investments (Sales and Purchases of Available-for-Sale Securities) (Details) - USD ($) $ in Thousands | 3 Months Ended | 9 Months Ended
--- | --- | ---
Sep. 30, 2021 | Sep. 30, 2020 | Sep. 30, 2021 | Sep. 30, 2020
Information regarding sales and purchases of available-for-sale securities |  |  |  |
Proceeds from sales (exclusive of maturities and paydowns) | $ 85,400 | $ 86,900 | $ 343,500 | $ 304,600
Purchases | $ 404,100 | $ 317,500 | $ 1,169,582 | $ 689,429

X
- Definition Schedule of Sales And Purchases Of Available For Sale Securities [Abstract] + References No definition available. + Details
Name: | pra_ScheduleOfSalesAndPurchasesOfAvailableForSaleSecuritiesAbstract
Namespace Prefix: | pra_
Data Type: | xbrli:stringItemType
Balance Type: | na
Period Type: | duration

X
- Definition Amount of cash outflow to acquire investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale). + References Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef -Publisher FASB -Name Accounting Standards Codification -Topic 230 -SubTopic 10 -Section 45 -Paragraph 13 -Subparagraph (a) -URI http://asc.fasb.org/extlink&oid=123570139&loc=d3e3213-108585 Reference 2: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 230 -SubTopic 10 -Section 45 -Paragraph 11 -URI http://asc.fasb.org/extlink&oid=123570139&loc=d3e3151-108585 Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef -Publisher FASB -Name Accounting Standards Codification -Topic 320 -SubTopic 10 -Section 45 -Paragraph 11 -URI http://asc.fasb.org/extlink&oid=124260329&loc=d3e26853-111562 + Details
Name: | us-gaap_PaymentsToAcquireAvailableForSaleSecuritiesDebt
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | duration

X
- Definition Amount of cash inflow from sale of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale). + References Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef -Publisher FASB -Name Accounting Standards Codification -Topic 320 -SubTopic 10 -Section 45 -Paragraph 11 -URI http://asc.fasb.org/extlink&oid=124260329&loc=d3e26853-111562 Reference 2: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 230 -SubTopic 10 -Section 45 -Paragraph 11 -URI http://asc.fasb.org/extlink&oid=123570139&loc=d3e3151-108585 Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef -Publisher FASB -Name Accounting Standards Codification -Topic 230 -SubTopic 10 -Section 45 -Paragraph 12 -Subparagraph (a) -URI http://asc.fasb.org/extlink&oid=123570139&loc=d3e3179-108585 + Details
Name: | us-gaap_ProceedsFromSaleOfAvailableForSaleSecuritiesDebt
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | duration