4000TWh of energy per year comes out to about 456GW continuous power. So pretty much in the right ballpark?