Converting Number Types
How to convert to a Double?
to-double(my-non-double-number) to convert to a double.
How to convert to Toleranced?
Use one of the functions that makes a
Toleranced value to do this.
An easy solution is:
typ(my-double). Other solutions can be found in the Toleranced documentation.