@Test
public void testDoubleVec() throws Exception {

  checkDoubleVec(random(0));
  checkDoubleVec(random(1));
  checkDoubleVec(random(2));
  checkDoubleVec(random(3));
  checkDoubleVec(random(DoubleVec.DEFAULT_CAPACITY - 2));
  checkDoubleVec(random(DoubleVec.DEFAULT_CAPACITY - 1));
  checkDoubleVec(random(DoubleVec.DEFAULT_CAPACITY));
  checkDoubleVec(random(DoubleVec.DEFAULT_CAPACITY + 1));
  checkDoubleVec(random(DoubleVec.DEFAULT_CAPACITY + 2));
  for (int i = 0; i < 100; i++) {
    checkDoubleVec(random());
  }
}