if the value is too large for a positive EMACS_INT. Doc fix.
Attach a file by drag & drop or click to upload