\begin{center}\begin{minipage}{15cm}\begin{Verbatim}[frame=single]
> log2(5)/log2(17) - log(5)/log(17);
Warning: rounding may have happened.
If there is rounding, the displayed value is *NOT* guaranteed to be a faithful r
ounding of the true result.
0
\end{Verbatim}
\end{minipage}\end{center}
