Карлсон, названия - это просто циферки

Это они у нас - точнее, это они так в Европе (и, кажется, EMEA) называются - и в Японии, и уже в Америке эти тушки называются по-другому - вплоть до шильдиков на корпусе. Так что "мистерия циферок" тут весьма и весьма сомнительна...