Konvertieren Sie einen Python-Int in einen Big-Endian-Byte-String ⇐ Python

[Anonymous]

Ich habe ein nicht negatives int und möchte es effizient in einen Big-Endian-String konvertieren, der dieselben Daten enthält. Beispielsweise sollte der int 1245427 (also 0x1300F3) zu einer Zeichenfolge der Länge 3 führen, die drei Zeichen enthält, deren Bytewerte 0x13, 0x00 und 0xf3 sind.

Meine Ints liegen auf der Skala von 35 (Basis 10) Ziffern.

Wie mache ich das?