int length = decoder.readInt();
        float[] array = new float[length];
        readFloats(decoder, array);
        return array;
    }

    public static void readFloats(Decoder decoder, float[] array) throws IOException {
        for (int i = 0; i < array.length; i++) {
            array[i] = decoder.readFloat();
        }
    }

        require(it >= 0)
        it.toInt()
    }

    override fun readShort(): Short = readContext.readShort()

    override fun readLong(): Long = readContext.readLong()

    override fun readFloat(): Float = readContext.readFloat()

    override fun readDouble(): Double = readContext.readDouble()

    override fun readBoolean(): Boolean = readContext.readBoolean()

    }

    @Override
    public short readShort() throws EOFException, IOException {
        return inputStream.readShort();
    }

    @Override
    public float readFloat() throws EOFException, IOException {
        return inputStream.readFloat();
    }

    @Override
    public double readDouble() throws EOFException, IOException {
        return inputStream.readDouble();
    }

    @Override

            return input.readShort();
        } catch (KryoException e) {
            throw maybeEndOfStream(e);
        }
    }

    @Override
    public float readFloat() throws EOFException, IOException {
        try {
            return input.readFloat();
        } catch (KryoException e) {
            throw maybeEndOfStream(e);
        }
    }

    @Override

			if s[i] == '_' {
				// readFloat already checked underscores
				continue
			}
			if e < 10000 {
				e = e*10 + int(s[i]) - '0'
			}
		}
		b.dp += e * esign
	}

	if i != len(s) {
		return
	}

	ok = true
	return
}

// readFloat reads a decimal or hexadecimal mantissa and exponent from a float

    }

    @Override
    public short readShort() throws EOFException, IOException {
        return delegate.readShort();
    }

    @Override
    public float readFloat() throws EOFException, IOException {
        return delegate.readFloat();
    }

    @Override
    public double readDouble() throws EOFException, IOException {
        return delegate.readDouble();
    }

    @Override

            return input.readShort();
        } catch (KryoException e) {
            throw maybeEndOfStream(e);
        }
    }

    @Override
    public float readFloat() throws EOFException, IOException {
        try {
            return input.readFloat();
        } catch (KryoException e) {
            throw maybeEndOfStream(e);
        }
    }

    @Override

   * Reads a {@code float} as specified by {@link DataInputStream#readFloat()}, except using
   * little-endian byte order.
   *
   * @return the next four bytes of the input stream, interpreted as a {@code float} in
   *     little-endian byte order
   * @throws IOException if an I/O error occurs
   */
  @CanIgnoreReturnValue // to skip some bytes
  @Override
  public float readFloat() throws IOException {

  @Override
  int readInt();

  @CanIgnoreReturnValue // to skip some bytes
  @Override
  long readLong();

  @CanIgnoreReturnValue // to skip some bytes
  @Override
  float readFloat();

  @CanIgnoreReturnValue // to skip some bytes
  @Override
  double readDouble();

  @CanIgnoreReturnValue // to skip a line
  @Override
  @CheckForNull
  String readLine();

   * Reads a {@code float} as specified by {@link DataInputStream#readFloat()}, except using
   * little-endian byte order.
   *
   * @return the next four bytes of the input stream, interpreted as a {@code float} in
   *     little-endian byte order
   * @throws IOException if an I/O error occurs
   */
  @CanIgnoreReturnValue // to skip some bytes
  @Override
  public float readFloat() throws IOException {