sclass SynchronizedFloatBufferPresentingAsDoubles is IDoubleBuffer {
  float[] data;
  int size;
  
  *() {}
  *(int size) { if (size != 0) data = new float[size]; }
  *(Iterable<Double> l) { addAll(l); }
  *(Cl<Double> l) { this(l(l)); addAll(l); }
  *(double... data) { this.data = doubleArrayToFloatArray(data); size = l(data); }
  
  public synchronized void add(double i) {
    if (size >= lFloatArray(data)) {
      data = resizeFloatArray(data, Math.max(1, toInt(Math.min(maximumSafeArraySize(), lFloatArray(data)*2L))));
      if (size >= data.length) fail(shortClassName(this) + " too large: " + size);
    }
    data[size++] = (float) i;
  }
  
  public synchronized void addAll(Iterable<Double> l) {
    if (l != null) for (double i : l) add(i);
  }
  
  public synchronized double[] toArray() {
    ret size == 0 ? null : takeFirstFromFloatArrayAsDoubleArray(data, size);
  }
  
  double[] toArrayNonNull() {
    ret unnull(toArray());
  }
  
  synchronized L<Double> toList() {
    ret floatArrayToDoubleList(data, 0, size);
  }

  synchronized L<Double> asVirtualList() {
    ret new RandomAccessAbstractList<Double> {
      public int size() { ret SynchronizedFloatBufferPresentingAsDoubles.this.size(); }
      public Double get(int i) { ret SynchronizedFloatBufferPresentingAsDoubles.this.get(i); }
      public Double set(int i, Double val) {
        synchronized(SynchronizedFloatBufferPresentingAsDoubles.this) {
          Double a = get(i);
          data[i] = val.floatValue();
          ret a;
        }
      }
    };
  }
  
  synchronized void reset { size = 0; }
  void clear { reset(); }
  
  public synchronized int size() { ret size; }
  public synchronized bool isEmpty() { ret size == 0; }
  
  public synchronized double get(int idx) {
    if (idx >= size) fail("Index out of range: " + idx + "/" + size);
    ret data[idx];
  }
  
  synchronized void set(int idx, double value) {
    if (idx >= size) fail("Index out of range: " + idx + "/" + size);
    data[idx] = (float) value;
  }
  
  public synchronized double popLast() {
    if (size == 0) fail("empty buffer");
    ret data[--size];
  }
  
  public synchronized double first() { ret data[0]; }
  public synchronized double last() { ret data[size-1]; }
  synchronized double nextToLast() { ret data[size-2]; }
  
  toString { ret squareBracket(joinWithSpace(toList())); }
  
  public Iterator<Double> iterator() {
    ret new ItIt<Double> {
      int i = 0;
      
      public bool hasNext() { ret i < size(); }
      public Double next() {
        synchronized(SynchronizedFloatBufferPresentingAsDoubles.this) {
          //if (!hasNext()) fail("Index out of bounds: " + i);
          ret (double) data[i++];
        }
      }
    };
  }
  
  /*public DoubleIterator doubleIterator() {
    ret new DoubleIterator {
      int i = 0;
      
      public bool hasNext() { ret i < size; }
      public int next() {
        //if (!hasNext()) fail("Index out of bounds: " + i);
        ret data[i++];
      }
      toString { ret "Iterator@" + i + " over " + DoubleBuffer.this; }
    };
  }*/
  
  public synchronized void trimToSize {
    data = resizeFloatArray(data, size);
  }
  
  public synchronized int indexOf(double b) {
    for i to size:
      if (data[i] == (float) b)
        ret i;
    ret -1;
  }
  
  synchronized double[] subArray(int start, int end) {
    ret subFloatArrayAsDoubleArray(data, start, min(end, size));
  }
  
  public synchronized void insertAt(int idx, double[] l) {
    int n = l(l);
    if (n == 0) ret;
    float[] newData = new[size+n];
    arraycopy(data, 0, newData, 0, idx);
    for i to n:
      newData[idx+i] = (float) l[i];
    arraycopy(data, idx, newData, idx+n, size-idx);
    data = newData;
    size = newData.length;
  }
  
  public void integrityCheck {
    assertTrue("Size positive", size >= 0);
    assertTrue("Data length", l(data) >= size);
  }
}