[Python-ideas] High Precision datetime