
  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/nums1.ocd}} 
  
  This CD is intended to be `compatible' with the MathML view of constructors for numbers (integers to an arbitrary base, rationals) and symbols for some common numerical constants. This CD holds a set of symbols for creating numbers, including some defined constants (i.e. nullary constructors). 

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{nums1:based_integer}{application}{} \\ 
\hline
  \symbolrow{nums1:rational}{application}{} \\ 
\hline
  \symbolrow{nums1:infinity}{constant}{} \\ 
\hline
  \symbolrow{nums1:e}{constant}{} \\ 
\hline
  \symbolrow{nums1:i}{constant}{} \\ 
\hline
  \symbolrow{nums1:pi}{constant}{} \\ 
\hline
  \symbolrow{nums1:gamma}{constant}{} \\ 
\hline
  \symbolrow{nums1:NaN}{constant}{} \\ 
\hline
  
\end{tabular}
