Support for high precision timers added.

fixes #516