So does anyone know even how many ATB coins in total will be generated? Or do they just expect us to gamble with ICO?