Fix error noted by Gerrit Holl (old; had been buried in my INBOX):

freddrake · freddrake · commit c3b18d7ca8e0 · 2000-12-07T04:54:02.000Z
sequence repitition works just fine with long integers now, so we
should not say that only plain integers are allowed.
diff --git a/Doc/ref/ref5.tex b/Doc/ref/ref5.tex
@@ -568,9 +568,9 @@ \section{Binary arithmetic operations\label{binary}}
 
 The \code{*} (multiplication) operator yields the product of its
 arguments.  The arguments must either both be numbers, or one argument
-must be a plain integer and the other must be a sequence.  In the
-former case, the numbers are converted to a common type and then
-multiplied together.  In the latter case, sequence repetition is
+must be an integer (plain or long) and the other must be a sequence.
+In the former case, the numbers are converted to a common type and
+then multiplied together.  In the latter case, sequence repetition is
 performed; a negative repetition factor yields an empty sequence.
 \index{multiplication}
 
