sS formatDouble_noDotZero(double d, int digits) {
  S s = formatDouble(d, digits);
  ret dropSuffix(".0", s);
}

sS formatDouble_noDotZero(double d) {
  S s = formatDouble(d);
  ret dropSuffix(".0", s);
}