
float(+Number, -Result)
-Result is float(+Number)

   Converts Number to float and unifies the resulting value with
Result.



Arguments
   Number              A number.
   Result              Output: float.

Type
   Arithmetic

Description

   Converts Number to float and unifies the resulting value with Result.

   This predicate can be used as a function in arithmetic expressions.
   In coroutining mode, if Number is uninstantiated, the call to float/2
   is delayed until this variable is instantiated.




Modes and Determinism
   float(+, -) is det

Exceptions
     4 --- Number is not instantiated (non-coroutining mode only).
    24 --- Number is not of a numeric type.

Examples
   
    Result is float(1).		% gives Result = 1.0
    Result is float(-6).	% gives Result = -6.0


See Also
   is / 2
