### Real value 1.#INF is out of the range

Posted:

**29 Apr 2013 12:34**Hello Thomas, hi all,

this compiles and outputs "X is infinity_positive":
On that however the compiler (7.4 build 7401) throws error c224 : The value 1.#INF is out of the range [ -1.79769313486232e+308 .. 1.79769313486232e+308 ] for the domain '::real':
Is it a bug? If not, please explain how to use

Thank you,

Martin

this compiles and outputs "X is infinity_positive":

Code: Select all

```
...
X = math::infinity_positive,
if X = math::infinity_positive then
stdIo::write("X is infinity_positive")
end if.
...
```

Code: Select all

```
...
X = math::infinity_positive,
test(X),
...
class predicates
test : (real X).
clauses
test(math::infinity_positive):-
!,
stdIo::write("X is infinity_positive").
test(_).
```

**math::infinity_positive**and similar constants of class**math**correctly.Thank you,

Martin