documentation in R-ints.texi updated