static L<Int> sqrt2progression_int(int n, double startValue) {
  L<Int> l = emptyList(n);
  double x = startValue;
  for i to n: {
    l.add(iround(x));
    x /= sqrt(2);
  }
  ret l;
}