this.value = value;
try { this.value = Double.valueOf(image).doubleValue(); } catch (NumberFormatException e) { throw new PositionedError(where, KjcMessages.INVALID_DOUBLE_LITERAL, image); } if (Double.isInfinite(this.value)) { throw new PositionedError(where, KjcMessages.DOUBLE_LITERAL_OVERFLOW, image); }  if (this.value == 0 && !isZeroLiteral(image)) { throw new PositionedError(where, KjcMessages.DOUBLE_LITERAL_UNDERFLOW, image); }
  public JDoubleLiteral(TokenReference where, double value) {    super(where);    this.value = value;  }