DOC: management: mention that some fields may be emitted as floats

Floats in stats output are currently not emitted but are technically
possible, so let's mention that.

diff --git a/doc/management.txt b/doc/management.txt
index cdb527598174f82f3f016ed8a0f1309c3d78ae2d..0a69cbd28c76e82e1b1c0a6fc51f1d282d750dd2 100644 (file)
--- a/doc/management.txt
+++ b/doc/management.txt
@@ -2731,7 +2731,7 @@ show stat [domain <dns|proxy>] [{<iid>|<proxy>} <type> <sid>] [typed|json] \
   The rest of the line starting after the first colon follows the "typed output
   format" described in the section above. In short, the second column (after the
   first ':') indicates the origin, nature and scope of the variable. The third
-  column indicates the type of the field, among "s32", "s64", "u32", "u64" and
+  column indicates the field type, among "s32", "s64", "u32", "u64", "flt' and
   "str". Then the fourth column is the value itself, which the consumer knows
   how to parse thanks to column 3 and how to process thanks to column 2.