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