3 billion USD apparently. lots smaller than in the past, but still bigger than quite a few countries that did get listed.