1930s-40s? Number punches. Awesome, fancy old font. Unmarked/unbranded.