float

Next: integer Up: Token Previous: Token Contents Index

float

$\begin{usage} float($l_1,l_2$) \end{usage}$

Signature

float: (List Character, List Character) $\to$ %

$\begin{params} $[d_0,\dots,d_n]$\ & \htmlref{\texttt{List}}{List} \htmlref{\te... ...st} \htmlref{\texttt{Character}}{Character} & A list of digits\\\end{params}$

$\begin{retval} float($[d_0,\dots,d_n], [e_0,\dots,e_m]$) returns the float $d_n d_{n-1} \dots d_0 . e_m e_{m-1} \dots e_0$\ as a token. \end{retval}$

See Also

integer

Manuel Bronstein 2000-12-13