Just want to confirm that indeed this is the total supply of EDG? Is this fixed or is there any inflation? I assume the lottery for EDG holders is voluntary (and not a smart contract function), and winning are paid in Eth, and not EDG? If EDG I assume that would imply an inflationary function? Sorry if this is in the white paper, just looking for the tl;dr one liner here if anyone has it handy.