How many ORC will be created? How many are for sale? How many will be held by Dev? Why no clear info about this in OP?