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: ...

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.