formatting: specify integer instead of fixnum as bignums are supported.

diff --git a/basis/formatting/formatting-docs.factor b/basis/formatting/formatting-docs.factor
index a08fd439bd6fe848621378515e12af70acd66051..ce7800cdbdfa90d8b68bcae8a72caeedf727460f 100755 (executable)
--- a/basis/formatting/formatting-docs.factor
+++ b/basis/formatting/formatting-docs.factor
@@ -19,14 +19,14 @@ HELP: printf
         { { $snippet "%P.Du" }       "Unparsed format"            "object" }
         { { $snippet "%c" }          "Character format"           "char" }
         { { $snippet "%C" }          "Character format uppercase" "char" }
-        { { $snippet "%+Pd" }        "Integer format (base 10)"   "fixnum" }
-        { { $snippet "%+Po" }        "Octal format (base 8)"    "fixnum" }
-        { { $snippet "%+Pb" }        "Binary format (base 2)"    "fixnum" }
-        { { $snippet "%+P.De" }      "Scientific notation"        "fixnum, float" }
-        { { $snippet "%+P.DE" }      "Scientific notation"        "fixnum, float" }
-        { { $snippet "%+P.Df" }      "Fixed format"               "fixnum, float" }
-        { { $snippet "%+Px" }        "Hexadecimal (base 16)"      "fixnum" }
-        { { $snippet "%+PX" }        "Hexadecimal (base 16) uppercase" "fixnum" }
+        { { $snippet "%+Pd" }        "Integer format (base 10)"   "integer" }
+        { { $snippet "%+Po" }        "Octal format (base 8)"      "integer" }
+        { { $snippet "%+Pb" }        "Binary format (base 2)"     "integer" }
+        { { $snippet "%+P.De" }      "Scientific notation"        "integer, float" }
+        { { $snippet "%+P.DE" }      "Scientific notation"        "integer, float" }
+        { { $snippet "%+P.Df" }      "Fixed format"               "integer, float" }
+        { { $snippet "%+Px" }        "Hexadecimal (base 16)"      "integer" }
+        { { $snippet "%+PX" }        "Hexadecimal (base 16) uppercase" "integer" }
         { { $snippet "%[%?, %]" }    "Sequence format"            "sequence" }
         { { $snippet "%[%?: %? %]" } "Assocs format"              "assocs" }
     }