\begin{center}\begin{minipage}{15cm}\begin{Verbatim}[frame=single]
> prec=30!;
> a = 17.25;
> display=decimal;
Display mode is decimal numbers.
> a;
17.25
> display=binary;
Display mode is binary numbers.
> a;
1.000101_2 * 2^(4)
> display=powers;
Display mode is dyadic numbers in integer-power-of-2 notation.
> a;
69 * 2^(-2)
> display=dyadic;
Display mode is dyadic numbers.
> a;
69b-2
> display=hexadecimal;
Display mode is hexadecimal numbers.
> a;
0x1.14p4
\end{Verbatim}
\end{minipage}\end{center}
