2017-10-13 16:57 GMT+02:00 Stefan Behnel <[email protected]>:
> I might have missed it while skipping through your post, but could you
> quickly explain why improving the precision of time.time() itself wouldn't
> help already? Would double FP precision not be accurate enough here?
80-bit binary float ("long double") is not portable. Since SSE, Intel
CPU don't use them anymore, no?
Modifying the Python float type would be a large change.
Victor
_______________________________________________
Python-ideas mailing list
[email protected]
https://mail.python.org/mailman/listinfo/python-ideas
Code of Conduct: http://python.org/psf/codeofconduct/
