static double doubleAverage(int[] a) {
  double sum = 0;
  for i over a:
    sum += a[i];
  ret sum/l(a);
}