Don't maintain the current time stamp in a floating point variable,
because this is subject to rounding errors.