The Python standard library provides us with tools to get the current time as Unix time and to transform between datetime objects and their int representations as Unix time.

but the python datetime.time class doesn't seem to have defined arithmetic operators, nor does the datetime.timedelta. if there are methods for this, that's not obvious to me either: Code: ...

But the datatype for date-time objects is namespaced as datetime.datetime. If you just enter import datetime into a Python program, you’re only importing the datetime library.