¿Cuál es la forma estándar de agregar N segundos a datetime.time en Python?

Dado undatetime.time valor en Python, ¿hay una manera estándar de agregarle un número entero de segundos, de modo que11:34:59 + 3 =11:35:02, ¿por ejemplo?

Estas ideas obvias no funcionan:

<code>>>> datetime.time(11, 34, 59) + 3
TypeError: unsupported operand type(s) for +: 'datetime.time' and 'int'
>>> datetime.time(11, 34, 59) + datetime.timedelta(0, 3)
TypeError: unsupported operand type(s) for +: 'datetime.time' and 'datetime.timedelta'
>>> datetime.time(11, 34, 59) + datetime.time(0, 0, 3)
TypeError: unsupported operand type(s) for +: 'datetime.time' and 'datetime.time'
</code>

Al final he escrito funciones como esta:

<code>def add_secs_to_time(timeval, secs_to_add):
    secs = timeval.hour * 3600 + timeval.minute * 60 + timeval.second
    secs += secs_to_add
    return datetime.time(secs // 3600, (secs % 3600) // 60, secs % 60)
</code>

No puedo dejar de pensar que me estoy perdiendo una forma más fácil de hacer esto.

RelacionadoTiempo de Python + Timedelta equivalente

Respuestas a la pregunta(8)

Su respuesta a la pregunta