Catchy headline but seems like a small number when you convert it into US dollars (about $13 billion).

Shouldn’t make much of a difference.