function "options"

[lidijaf]

This function is called in nbodies as:
options(digits=9)
and means that the recommended number of digits when printing real numbers is now 9 (the default in R is 7).
Translating this to Relite: probably some global value needed, for storing number of digits. First problem - we need some way to print exactly that form with specified number of digits - I cannot see it with OptiMLs print...
Second - (this is not relevant for nbodies, but may be important later) the named parameter "digits" needs to be resolved