docs: private static void readFully(final DataInput input, final float[] floats) throws IOException {
          if (input instanceof ImageInputStream) {
              // Optimization for ImageInputStreams, read all in one go
              ((ImageInputStream) input).readFully(floats, 0, floats.length);
          }
          else {
              for (int i = 0; i < floats.length; i++) {
                  floats[i] = input.readFloat();
              }
          }
      }