+@defvar float-output-format
+This variable specifies how to print floating point numbers. Its
+default value is @code{nil}, meaning use the shortest output
+that represents the number without losing information.
+
+To control output format more precisely, you can put a string in this
+variable. The string should hold a @samp{%}-specification to be used
+in the C function @code{sprintf}. For further restrictions on what
+you can use, see the variable's documentation string.
+@end defvar
+