static String formatDouble(double d, int digits) {
  S format = "0." + rep(digits, '#');
  ret new java.text.DecimalFormat(format, new java.text.DecimalFormatSymbols(Locale.ENGLISH)).format(d);
}