MANDA OS \u2014 the whole business, in numbers.