XML 55 R41.htm IDEA: XBRL DOCUMENT v3.24.1.u1

Investments (Credit Losses Related to Debt Securities) (Details) - USD ($) $ in Thousands	3 Months Ended
	Mar. 31, 2024	Mar. 31, 2023
Debt Securities, Available-for-sale, Allowance for Credit Loss [Roll Forward]
Allowance for credit loss beginning balance	$ 555	$ 427
No allowance for credit losses has been previously recognized	740
Securities sold during the period	(158)	(3)
Allowance for credit loss ending balance	1,137	424
Corporate Debt
Debt Securities, Available-for-sale, Allowance for Credit Loss [Roll Forward]
Allowance for credit loss beginning balance	0
No allowance for credit losses has been previously recognized	740
Securities sold during the period	0
Allowance for credit loss ending balance	740
Residential mortgage-backed securities
Debt Securities, Available-for-sale, Allowance for Credit Loss [Roll Forward]
Allowance for credit loss beginning balance	211	229
No allowance for credit losses has been previously recognized	0
Securities sold during the period	(4)	(2)
Allowance for credit loss ending balance	207	227
Other commercial mortgage-backed securities
Debt Securities, Available-for-sale, Allowance for Credit Loss [Roll Forward]
Allowance for credit loss beginning balance	151
No allowance for credit losses has been previously recognized	0
Securities sold during the period	(151)
Allowance for credit loss ending balance	0
Other asset-backed securities
Debt Securities, Available-for-sale, Allowance for Credit Loss [Roll Forward]
Allowance for credit loss beginning balance	193	198
No allowance for credit losses has been previously recognized	0
Securities sold during the period	(3)	(1)
Allowance for credit loss ending balance	$ 190	$ 197

X

- Definition

Amount of allowance for credit loss on 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 50
-Paragraph 2
-Subparagraph (aaa)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481800/320-10-50-2

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 326
-SubTopic 30
-Name Accounting Standards Codification
-Section 45
-Paragraph 1
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479130/326-30-45-1

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

Reference 4: http://www.xbrl.org/2003/role/disclosureRef
-Topic 326
-SubTopic 30
-Name Accounting Standards Codification
-Section 50
-Paragraph 9
-Subparagraph (i)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479106/326-30-50-9

+ Details

Name:	us-gaap_DebtSecuritiesAvailableForSaleAllowanceForCreditLoss
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

X

- Definition

Amount of expense for credit loss on investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), for which no credit loss was previously recorded.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 326
-SubTopic 30
-Name Accounting Standards Codification
-Section 50
-Paragraph 9
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479106/326-30-50-9

+ Details

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

X

- Definition

A roll forward is a reconciliation of a concept from the beginning of a period to the end of a period.

+ References

No definition available.

+ Details

Name:	us-gaap_DebtSecuritiesAvailableForSaleAllowanceForCreditLossRollForward
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

X

- Definition

Amount of decrease in allowance for credit loss on investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale) from sale.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 326
-SubTopic 30
-Name Accounting Standards Codification
-Section 50
-Paragraph 9
-Subparagraph (d)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479106/326-30-50-9

+ Details

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

X

- Details

Name:	us-gaap_FinancialInstrumentAxis=us-gaap_CorporateDebtSecuritiesMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

X

- Details

Name:	us-gaap_FinancialInstrumentAxis=us-gaap_ResidentialMortgageBackedSecuritiesMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

X

- Details

Name:	us-gaap_FinancialInstrumentAxis=pra_OtherCommercialMortgageBackedSecuritiesMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

X

- Details

Name:	us-gaap_FinancialInstrumentAxis=pra_OtherAssetBackedSecuritiesMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: