protected ATermRealImpl(PureFactory factory, double value)
protected ATermRealImpl(PureFactory factory, double value, ATermList annos)
  protected ATermRealImpl(PureFactory factory, double value)  {    super(factory);    this.value = value;  }