Nah, there are just a lot of numbers rounded to thousands in the news. Only one CPU family regularly identified with only rounded to thousands number that I can recall though.