diff --git a/src/doc/new-doc/standards/index.txi b/src/doc/new-doc/standards/index.txi
index d40d0c739..3ae3b830c 100644
--- a/src/doc/new-doc/standards/index.txi
+++ b/src/doc/new-doc/standards/index.txi
@@ -13,7 +13,7 @@
 @c * Conditions::
 @c * Symbols::
 @c * Packages::
-@c * Numbers::
+* Numbers::
 @c * Characters::
 @c * Conses::
 @c * Arrays::
@@ -58,6 +58,7 @@
 @c @node Packages
 @c @section Packages
 
+@include standards/numbers.txi
 @c @node Numbers
 @c @section Numbers
 @c build option --with-ieee-fp={yes|no}