[ Arithmetic | Reference Manual | Alphabetic Index ]
float(+Number, -Result)
-Result is float(+Number)
Converts Number to float and unifies the resulting value with
Result.
- Number
- A number.
- Result
- Output: float.
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
Exceptions
- (4) instantiation fault
- Number is not instantiated (non-coroutining mode only).
- (24) number expected
- 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