The software firm owns 129,699 bitcoins worth approximately $3 billion.