write.table(* , digits = ..) ?

Can anyone think of  reason why
  write.table() 
doesn't have an optional digits argument?
Via paste() and hence the internal "as.character" equivalent,
it obeys the options()$digits setting ...
which is quite logical for the experienced user, but not for others who
just want to `export' their data to a portable format.
I propose to add that argument in order to help these kind of users.

Martin
-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-
r-devel mailing list -- Read http://www.ci.tuwien.ac.at/~hornik/R/R-FAQ.html
Send "info", "help", or "[un]subscribe"
(in the "body", not the subject !)  To: r-devel-request@stat.math.ethz.ch
_._._._._._._._._._._._._._._._._._._._._._._._._._._._._._._._._._._._._._._._