BBC argyle says that was calculated at 449USD per Bitcoin, so assuming nearly 1Billion USD or thereabouts when they were at their peak