public IValue toString(INumber d) // @doc{toString -- convert a real to a string.} { return values.string(d.toString()); }
public IValue precision(INumber x, IInteger precision) { return values.real(x.toString(), precision.intValue()); }