sS formatDouble_roundUp(double d, int digits) {
  S format = digits <= 0 ? "0" : "0." + rep(digits, '#');
  java.text.DecimalFormat df = decimalFormatEnglish(format);
  df.setRoundingMode(RoundingMode.UP);
  ret df.format(d);
}