\subsection{$>=$}
\label{labge}
\noindent Name: \textbf{$>=$}\\
\phantom{aaa}greater-than-or-equal-to operator\\[0.2cm]
\noindent Library name:\\
\verb|   sollya_obj_t sollya_lib_cmp_greater_equal(sollya_obj_t, sollya_obj_t)|\\[0.2cm]
\noindent Usage: 
\begin{center}
\emph{expr1} \textbf{$>=$} \emph{expr2} : (\textsf{constant}, \textsf{constant}) $\rightarrow$ \textsf{boolean}\\
\end{center}
Parameters: 
\begin{itemize}
\item \emph{expr1} and \emph{expr2} represent constant expressions
\end{itemize}
\noindent Description: \begin{itemize}

\item The operator \textbf{$>=$} evaluates to true iff its operands \emph{expr1} and
   \emph{expr2} evaluate to two floating-point numbers $a_1$
   respectively $a_2$ with the global precision \textbf{prec} and
   $a_1$ is greater than or equal to $a_2$. The user should
   be aware of the fact that because of floating-point evaluation, the
   operator \textbf{$>=$} is not exactly the same as the mathematical
   operation \emph{greater-than-or-equal-to}.
\end{itemize}
\noindent Example 1: 
\begin{center}\begin{minipage}{15cm}\begin{Verbatim}[frame=single]
> 5 >= 4;
true
> 5 >= 5;
true
> 5 >= 6;
false
> exp(2) >= exp(1);
true
> log(1) >= exp(2);
false
\end{Verbatim}
\end{minipage}\end{center}
\noindent Example 2: 
\begin{center}\begin{minipage}{15cm}\begin{Verbatim}[frame=single]
> prec = 12;
The precision has been set to 12 bits.
> 16384.1 >= 16385.1;
true
\end{Verbatim}
\end{minipage}\end{center}
See also: \textbf{$==$} (\ref{labequal}), \textbf{!$=$} (\ref{labneq}), \textbf{$>$} (\ref{labgt}), \textbf{$<=$} (\ref{lable}), \textbf{$<$} (\ref{lablt}), \textbf{in} (\ref{labin}), \textbf{!} (\ref{labnot}), \textbf{$\&\&$} (\ref{laband}), \textbf{$||$} (\ref{labor}), \textbf{prec} (\ref{labprec}), \textbf{max} (\ref{labmax}), \textbf{min} (\ref{labmin})
