bug report: [ #447945 ] time.time() is not non-decreasing

[Ken Seehof]

Actually, don't multiply self._TIME_EPSILON by anything.  :-)

Wait until Jan 10, 2004 and call your former employer.  They
will probably have a job for you.

>>> time.asctime(time.localtime(2.0**30))
'Sat Jan 10 05:37:04 2004'   <<< the next time() mantissa overflow.

I wrote:
> import time
> 
> class IncreasingTimer:
>   . . .
>         self._TIME_EPSILON = olde*4.0
>   . . .

Actually, it doesn't matter.  The world is going to end when the
mantissa overflows anyway.  You have until Jan 10, 2004 to
repent!  The Day of the Mantissa is coming!  Guido loves you!

- Ken