New variables for floating-point printing control.

* lib.c (obj_print_impl): Instead of hard-coded "~s", obtain
the format string for floats from the *print-flo-format*
special variable, whose default value is "~s".

* stream.c (print_flo_digits_s, print_flo_format_s): New symbol
variables.
(formatv): Use *print-flo-digits* value for default precision
for ~f and ~e, rather than hard-coded 3.
(stream_init): Initialize print_flo_digits_s and print_flo_format_s, and
register special variables under those symbols.

* stream.h (print_flo_digits_s, print_flo_format_s): Declared.

* txr.1: Documented new specials.

1 files changed, 3 insertions, 0 deletions

diff --git a/stream.h b/stream.h
index bfaf76c9..09c4096d 100644
--- a/stream.h
+++ b/stream.h
@@ -90,6 +90,9 @@ extern val format_s;
 
 extern val stdin_s, stdout_s, stddebug_s, stderr_s, stdnull_s;
 
+extern val print_flo_precision_s, print_flo_digits_s, print_flo_format_s;
+extern val print_base_s;
+
 void strm_base_init(struct strm_base *s);
 void strm_base_cleanup(struct strm_base *s);
 void strm_base_mark(struct strm_base *s);