The software firm owns 129,218 bitcoins valued at just under $5 billion.