Method chopNumber

basex-core/src/main/java/org/basex/util/Token.java:524–530

Finishes the numeric token, removing trailing zeroes. @param token token to be modified @return token

(final byte[] token)

   * @return token
   */
  public static byte[] chopNumber(final byte[] token) {
    if(!contains(token, '.') || contains(token, 'e') || contains(token, 'E')) return token;
    // remove trailing zeroes
    int tl = token.length;
    while(--tl > 0 && token[tl] == '0');
    return substring(token, 0, token[tl] == '.' ? tl : tl + 1);
  }

  /** Constant float values. */
  private static final float[] FLT = { 1.0E17f, 1.0E15f, 1.0E13f, 1.0E11f,