DESCRIPTION:
Get the current system time as a counter value like the
system call gettimeofday() gives. Useful for profiling, as
time differences can be calculated easily.
RETURN VALUE:
A double containing a timer value in seconds. Resolution is
system dependent, as is the offset.