static double repeatAndAdd_double(int repetitions, O f) {
  double sum = 0;
  repeat repetitions {
    sum += (double) callF(f);
  }
  ret sum;
}