protected ATermRealImpl(PureFactory factory, ATermList annos, double value) {
    super(factory, annos);

    this.value = value;

    setHashCode(HashFunctions.doobs(new Object[] {annos, new Double(value)}));
  }
  protected ATermBlobImpl(PureFactory factory, ATermList annos, byte[] data) {
    super(factory, annos);

    this.data = data;

    setHashCode(HashFunctions.doobs(new Object[] {annos, data}));
  }