The winner decided to take the prize as a lump-sum payment of $834.9 million.