Billion in the US is not the same as billion is in other countries. The description given is more international friendly.

And yes, that is probably the actual amount, when adding it up across all the servers.