code: public static void float8(byte[] target, int idx, double value) {
      int8(target, idx, Double.doubleToRawLongBits(value));
    }
docs: Encodes a int value to the byte array.
  
  @param target The byte array to encode to.
  @param idx The starting index in the byte array.
  @param value The value to encode.