[ Arithmetic | Reference Manual | Alphabetic Index ]

# breal_min(+Number, -Result)

Extracts the lower floating point bound of Number
Number
A number.
Result
A variable or float.

## Description

This predicate is used by the ECLiPSe compiler to expand evaluable arithmetic expressions. So a call to breal_min(Number, Result) is equivalent to
```    Result is breal_min(Number).
```
A bounded real is a real number represented by a lower and upper bound in floating point format. This predicate extracts the lower 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_min(+, -) is det

### Exceptions

(4) instantiation fault
Number is not instantiated
(24) number expected
Number is a not a number.

## Examples

```Success:
?- breal_min(0.99__1.01, X).
X = 0.99

?- breal_min(1, X).
X = 1.0

?- breal_min(1.0, X).
X = 1.0

?- breal_min(1_10, X).
X = 0.099999999999999992

Error:
?- breal_min("a", Z).
number expected in breal_min("a", Z)

?- breal_min(2 + 4, Z).
number expected in breal_min(2 + 4, Z)
```