Альтернатива time.ctime ([сек]) для 32 и 64 бит

Question

Существует ли Python API, который выполняет функции time.ctime независимо от архитектуры процессора?

У меня есть номер U64, который я хочу преобразовать в читаемый человеком формат. Я использовал time.ctime(), но он не работает на платформах i686.

  >>> time.ctime( 2147483647 )
  'Mon Jan 18 19:14:07 2038'
  >>> time.ctime( 2147483648 )
  Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  ValueError: timestamp out of range for platform time_t
  >>>