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