\begin{center}\begin{minipage}{15cm}\begin{Verbatim}[frame=single]
> display=binary!;
> prec=12!;
> a=pi;
> a;
Warning: rounding has happened. The value displayed is a faithful rounding to 12
 bits of the true result.
1.10010010001_2 * 2^(1)
> prec=30!;
> a;
Warning: rounding has happened. The value displayed is a faithful rounding to 30
 bits of the true result.
1.10010010000111111011010101001_2 * 2^(1)
\end{Verbatim}
\end{minipage}\end{center}
