docs: public static String format(double[] v, int w, int d) {
      DecimalFormat format = new DecimalFormat();
      format.setDecimalFormatSymbols(new DecimalFormatSymbols(Locale.US));
      format.setMinimumIntegerDigits(1);
      format.setMaximumFractionDigits(d);
      format.setMinimumFractionDigits(d);
      format.setGroupingUsed(false);
  
      int width = w + 1;
      StringBuilder msg = new StringBuilder() //
          .append('\n'); // start on new line.
      for(int i = 0; i < v.length; i++) {
        String s = format.format(v[i]); // format the number
        // At _least_ 1 whitespace is added
        whitespace(msg, Math.max(1, width - s.length())).append(s);
      }
      return msg.toString();
    }