What about the coins left over from the forum sales?

Just before  we get  to  happy.

Will they be burned? How much  of them are left over?