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}));
}