if (ptg instanceof IntPtg) { this.value = ((IntPtg) ptg).getValue(); } else if (ptg instanceof NumberPtg) { this.value = ((NumberPtg) ptg).getValue(); }
this.value = value;
return value;
// TODO: limit to 15 decimal places if (stringValue == null) makeString(); return stringValue;
if (!Double.isNaN(value)) { long lvalue = Math.round(value); if (lvalue == value) { stringValue = String.valueOf(lvalue); } else { stringValue = String.valueOf(value); } }