\begin{center}\begin{minipage}{15cm}\begin{Verbatim}[frame=single]
> d=[1;2];
> d2=[1,1+1];
> d==d2;
true
> prec=12!;
> 8095.1;
Warning: Rounding occurred when converting the constant "8095.1" to floating-poi
nt with 12 bits.
If safe computation is needed, try to increase the precision.
8096
> [8095.1; 8096.1];
Warning: Rounding occurred when converting the constant "8095.1" to floating-poi
nt with 12 bits.
The inclusion property is nevertheless satisfied.
Warning: Rounding occurred when converting the constant "8096.1" to floating-poi
nt with 12 bits.
The inclusion property is nevertheless satisfied.
[8094;8098]
\end{Verbatim}
\end{minipage}\end{center}
