Support "%x" etc. formats on more floats

* doc/lispref/strings.texi (Formatting Strings): Document this.
* src/editfns.c (styled_format): Support %o, %x, and %X on
finite floats less than zero or greater than UINTMAX_MAX.
* test/src/editfns-tests.el (format-%x-large-float)
(read-large-integer, format-%o-negative-float):
Adjust tests to match extended behavior.
Rename the latter test from format-%o-invalid-float,
since the float is no longer invalid.

* test/src/editfns-tests.el (format-%x-large-float)
(read-large-integer): Test this.

1 files changed, 12 insertions, 5 deletions

diff --git a/src/editfns.c b/src/editfns.c
index 8e0c0c451e6..1b33f397110 100644
--- a/src/editfns.c
+++ b/src/editfns.c
@@ -3594,6 +3594,7 @@ styled_format (ptrdiff_t nargs, Lisp_Object *args, bool message)
                   sprintf_bytes = prec != 0;
                 }
               else if (BIGNUMP (arg))
+              bignum_arg:
                 {
                   int base = ((conversion == 'd' || conversion == 'i') ? 10
                               : conversion == 'o' ? 8 : 16);
@@ -3655,11 +3656,17 @@ styled_format (ptrdiff_t nargs, Lisp_Object *args, bool message)
                   else
                     {
                       double d = XFLOAT_DATA (arg);
-                      double uintmax = UINTMAX_MAX;
-                      if (! (0 <= d && d < uintmax + 1))
-                        xsignal1 (Qoverflow_error, arg);
-                      x = d;
-                      negative = false;
+                      double abs_d = fabs (d);
+                      if (abs_d < UINTMAX_MAX + 1.0)
+                        {
+                          negative = d <= -1;
+                          x = abs_d;
+                        }
+                      else
+                        {
+                          arg = double_to_integer (d);
+                          goto bignum_arg;
+                        }
                     }
                   p[0] = negative ? '-' : plus_flag ? '+' : ' ';
                   bool signedp = negative | plus_flag | space_flag;