public class Double extends Term<Double>
Double(Double d)
Double
marshal()
<Z> Z
toJava()
String
toString()
fromJava, unmarshal
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public Double(Double d)
public <Z> Z toJava()
toJava
Term<Double>
public Double marshal()
marshal
public String toString()
toString
Object