* @return the number of bytes written (8)
     */
    public static int enc_doublele(final double d, final byte[] dst, final int di) {
        return enc_uint64le(Double.doubleToLongBits(d), dst, di);
    }

    /**
     * Encodes a double value in big-endian byte order.
     *
     * @param d the double value to encode
     * @param dst the destination byte array

     * @return the number of bytes written (8)
     */
    public static int enc_doublele(final double d, final byte[] dst, final int di) {
        return enc_uint64le(Double.doubleToLongBits(d), dst, di);
    }

    /**
     * Encodes a double value in big-endian byte order.
     *
     * @param d the double value to encode
     * @param dst the destination byte array

      }
    }
    for (int i = Double.MIN_EXPONENT; i <= Double.MAX_EXPONENT; i++) {
      for (int direction : new int[] {1, -1}) {
        double d = Double.longBitsToDouble(Double.doubleToLongBits(Math.scalb(1.0, i)) + direction);
        // Math.nextUp/nextDown
        if (d != Math.rint(d)) {
          fractionalBuilder.add(d);
        }
      }
    }
    for (double d :