This article discusses the nature of numerals and the plausibility of their special semantic and epistemological status as proper names of numbers. Evidence is presented that minimizes the difference between numerals and other devices of direct reference. The availability of intensional contexts within formalised metamathematics is exploited to shed light on the relation between formal numerals and numerals.