Java INumber.toString Examples

Example #1

File: Math.java Project: sharwell/rascal

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

Example #2

File: Math.java Project: sharwell/rascal

 public IValue precision(INumber x, IInteger precision) {
   return values.real(x.toString(), precision.intValue());
 }