timer_read seems to sometimes return a float, but microseconds are probably granular enough, so round time off.