
reals(?Vars)

   Vars' domain is the real numbers.

Arguments
   Vars                Variable or number, or a list of variables/numbers

Type
   library(range)

Description

The domain of the variables is the real numbers.
This is the default, so the declaration is optional.
real(X) is equivalent to X :: -inf..inf.


Note that the notion of real numbers is used here in the pure
mathematical sense, where real numbers subsume the integers.
A variable of type real can therefore be instantated to either
a floating point or an integer number. If the variables are already 
instantiated, this call checks that the variable is instantiated to a
number.


Fail Conditions
   variables already a non-number.

See Also
   integers / 1, suspend : reals / 1, ic : reals / 1, ic_kernel : reals / 1
