docs: public static String getNumericValueString(InstancesHeader context,
              int attIndex, double value) {
          if (context != null) {
              int instAttIndex = attIndex < context.classIndex() ? attIndex
                      : attIndex + 1;
              if (instAttIndex < context.numAttributes()) {
                  if (context.attribute(instAttIndex).isDate()) {
                      return context.attribute(instAttIndex).formatDate(value);
                  }
              }
          }
          return Double.toString(value);
      }