code: private void printDouble(MetricType metricType, String name, String description, double value) {
  		printHeader(metricType, name, description);
  		printDoubleWithFields(name, null, value);
  	}
docs: prints a double metric value, including HELP and TYPE rows