double — Cast as a double
double number
double
number
When given a number number, return its value cast as a double.
This command does not appear in the MIDP1.0 version of Hecl, because it doesn't deal with floating point.