cvd - Convert integer/string to double
integer cvd -> double
string cvd -> double
3 cvd -> 3.0
(23) cvd -> 23.0
(23.2323) cvd -> 23.2323
(hello) cvd -> 0.0
If cvd is executed with an integer, the resulting
double contains zeros after decimal point, if it is executed with a
string that contains letters 0.0 is returned. If the string
contains a double or integer, the corresponding double is returned.
Alternatives: Function double (undocumented) -> behaviour and
synopsis are the same.
no errors are issued.
docu by Sirko Straube
/var/www/debian/nest/nest-simulator-2.20.0/lib/sli/typeinit.sli