MenuStatBar: deal with large numbers as stats.
Merge pull request #696 from stefanbeller/menustatbar_large_number

MenuStatBar: deal with large numbers as stats.