natreal

OpenTuring

natrealnatural number to real function

Syntax   natreal ( n : nat ) : real

Description   The natreal function is used to convert a natural number to a real number. This function is rarely used, because in Turing, a natural number can be used anyplace a real value is required. When this is done, the natreal function is implicitly called to do the conversion from nat to real. The natreal function is similar to intreal, except that natreal handles values that are larger than int values and does not handle negative values.

See also   nat. See also the intreal, floor, ceil and round functions.