* improvement: floating point modes in effect are now saved in
core, and restored on startup.
* improvement: GET-INTERNAL-REAL-TIME now reports the time since
* improvement: floating point modes in effect are now saved in
core, and restored on startup.
* improvement: GET-INTERNAL-REAL-TIME now reports the time since