docs: public static String numberToString(Number n) throws JSONException {
  
          if (n == null) {
              throw new JSONException("Null pointer");
          }
          testValidity(n);
  
          // Shave off trailing zeros and decimal point, if possible.
  
          String s = n.toString();
          if ((s.indexOf('.') > 0) && (s.indexOf('e') < 0) && (s.indexOf('E') < 0)) {
              while (s.endsWith("0")) {
                  s = s.substring(0, s.length() - 1);
              }
              if (s.endsWith(".")) {
                  s = s.substring(0, s.length() - 1);
              }
          }
          return s;
      }