4 ms·Is 3.5 times GDP a high number? To pay out over the next 40-50 years?by HWR_14 2y agoIs 3.5 times GDP a high number? To pay out over the next 40-50 years?