Fix error noted by Gerrit Holl (old; had been buried in my INBOX):
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
index 46fdd6d..a7e6351 100644
--- a/Doc/ref/ref5.tex
+++ b/Doc/ref/ref5.tex
@@ -568,9 +568,9 @@
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}