if (iTensExp != 0) { result = result + "e"+iTensExp; }
  public String ToString(int aPrecision, int aBase/*=10*/)   {    if (integer != null)      return integer.toString(aBase);    else    {      String result = decimal.toString();      int dotPos = result.indexOf('.');      if (dotPos >= 0)      {        int endpos = result.length();        while (endpos>dotPos && result.charAt(endpos-1) == '0') endpos--;        result = result.substring(0,endpos);      }      return result;    }  }