\begin{center}\begin{minipage}{15cm}\begin{Verbatim}[frame=single]
> prec=12!;
> 4097.1;
Warning: Rounding occurred when converting the constant "4097.1" to floating-poi
nt with 12 bits.
If safe computation is needed, try to increase the precision.
4098
> 4098.1;
Warning: Rounding occurred when converting the constant "4098.1" to floating-poi
nt with 12 bits.
If safe computation is needed, try to increase the precision.
4098
> 4097.1+1;
Warning: Rounding occurred when converting the constant "4097.1" to floating-poi
nt with 12 bits.
If safe computation is needed, try to increase the precision.
4099
\end{Verbatim}
\end{minipage}\end{center}
