label!

--- a/doc-src/TutorialI/Types/numerics.tex	Thu Jan 04 10:23:01 2001 +0100
+++ b/doc-src/TutorialI/Types/numerics.tex	Thu Jan 04 18:13:27 2001 +0100
@@ -30,6 +30,7 @@
 useful lemmas are shown below.
 
 \subsection{Numeric Literals}
+\label{sec:numerals}
 
 Literals are available for the types of natural numbers, integers 
 and reals and denote integer values of arbitrary size.