The default timer unit was incorrectly measured in milliseconds instead

of seconds, producing numbers 1000 times too large.  It would be nice to
write a test for this, but how...  (thanks mwh)