Dado un datetime.timevalor en Python, ¿hay una forma estándar de agregarle un número entero de segundos, de modo que 11:34:59+ 3 = 11:35:02, por ejemplo? Estas ideas obvias no funcionan: >>> datetime.time(11, 34, 59) + 3 TypeError: unsupported operand type(s) for +: 'datetime.time' and...