
  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/bigfloat1.ocd}} 
  
  This CD provides a common representation of "bigfloats" in a mantissa/ radix/exponent format. There is a further version, which provides an opportunity to state a precision (only required in a different radix). No operations are defined here -- see arith and alg. 

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{bigfloat1:bigfloat}{application}{} \\ 
\hline
  \symbolrow{bigfloat1:bigfloatprec}{application}{} \\ 
\hline
  
\end{tabular}
