[philipkglass]

Naval reactor power ratings are for thermal output. You can assume that about 1/3 of the thermal output can be converted to electricity when steam from the reactor is used to drive an electrical generator:

https://www.nuclear-power.com/nuclear-engineering/thermodyna...

Assuming that your cited numbers are correct, "$2 billion for 2 x 400 MW reactors in Ford-class aircraft carrier" translates to 267 megawatts of electrical output for $2 billion. Or $7.5 billion for 1000 megawatts of electrical output. This is not much cheaper than "Westinghouse: ~$8 bn for 1000MW reactor."