The business software firm owns about 130,000 bitcoins worth approximately $2.5 billion.