Converting Number Types

How to convert to a Double?

Use the 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.