public IValue toInt(INumber d) // @doc{toInteger -- convert a real to integer.} { return d.toInteger(); }