sS decimalFormatEnglish(S format, double d) {
  ret new java.text.DecimalFormat(format, new java.text.DecimalFormatSymbols(Locale.ENGLISH)).format(d);
}