sbool allFractionsZero(double[] a) {
  fOr (double d : a)
    if (frac(d) != 0)
      false;
  true;
}