$USUAL

How many coins are there in total, is it 4 billion?