[Openmcl-devel] more precise timing values?

[Florian Dietz]

Is it possible to get more precise timing values than with 
(get-internal-real-time), which only gives milliseconds?