I bet the actual cost of NAT when all things are considered is well into the trillions of dollars.

Any attempt to keep IPv4 alive is not a net win. It's another few trillion down the drain.