XML 59 R46.htm IDEA: XBRL DOCUMENT v3.23.3

Investments (Sales and Purchases of Available-for-Sale Securities) (Details) - USD ($) $ in Thousands	3 Months Ended		9 Months Ended
	Sep. 30, 2023	Sep. 30, 2022	Sep. 30, 2023	Sep. 30, 2022
Information regarding sales and purchases of available-for-sale securities
Proceeds from sales (exclusive of maturities and paydowns)	$ 8,000	$ 8,900	$ 31,400	$ 111,200
Purchases	$ 127,300	$ 145,400	$ 261,485	$ 486,130

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://www.xbrl.org/2003/role/disclosureRef
-Topic 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 11
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481830/320-10-45-11

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Topic 230
-SubTopic 10
-Section 45
-Paragraph 13
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482740/230-10-45-13

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Topic 230
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 11
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482740/230-10-45-11

+ 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://www.xbrl.org/2003/role/disclosureRef
-Topic 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 11
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481830/320-10-45-11

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 9
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481800/320-10-50-9

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Topic 230
-SubTopic 10
-Section 45
-Paragraph 12
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482740/230-10-45-12

Reference 4: http://www.xbrl.org/2003/role/disclosureRef
-Topic 230
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 11
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482740/230-10-45-11

+ Details

Name:	us-gaap_ProceedsFromSaleOfAvailableForSaleSecuritiesDebt
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration