I bet the Chinese can build 5 nuclear reactors for a fraction of that price, too. Deepseek says China builds them at $2.5-3.5B per 1200MW reactor.