Those numbers look right, thanks. Looks like about 3x the radiogenic heat from the major nuclides producing heat today (not taking into account nuclides that ma

Those numbers look right, thanks. Looks like about 3x the radiogenic heat from the major nuclides producing heat today (not taking into account nuclides that may have decayed away... but I don't think there were any substantial ones). There's also the possibility of fission chain reactions, as U235 enrichment was very high, but I doubt these came near the PW range. Atmospheric CO2 looks like the primary factor.