code: public static void float4(byte[] target, int idx, float value) {
      int4(target, idx, Float.floatToRawIntBits(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.