Use doubles for timetags in Python bindings.