US could get about $6.4 billion from the sale at bitcoin’s current price.