
breal_max(+Number, -Result)

   Extracts the upper floating point bound of Number

Arguments
   Number              A number.
   Result              Output: float.

Type
   Arithmetic

Description
    This predicate is used by the ECLiPSe compiler to expand evaluable
    arithmetic expressions.  So a call to breal_max(Number, Result) is
    equivalent to

    Result is breal_max(Number).

    A bounded real is a real number represented by a lower and upper
    bound in floating point format. This predicate extracts the upper
    bound and unifies it with Result. If Number is not a bounded real,
    the result returned is equivalent to converting it to a bounded real
    first.



Modes and Determinism
   breal_max(+, -) is det

Exceptions
     4 --- Number is not instantiated
    24 --- Number is a not a number.

Examples
   
    Result is breal_max(0.99__1.01).	% gives Result = 1.01

    % with implicit type conversion to breal:
    Result is breal_max(1.0).		% gives Result = 1.0
    Result is breal_max(1).		% gives Result = 1.0
    Result is breal_max(1_10).		% gives Result = 0.10000000000000002


See Also
   breal_min / 2, breal / 1, breal / 2, breal_bounds / 3, breal_from_bounds / 3, is / 2
