Non-zero bits are being truncated

[ocelotl]

Considering this and this, the non-zero bits are being truncated here.

For example:

>>> from random import Random
>>> format(Random().getrandbits(64) - 1, "032x")
'0000000000000000bff1e96093d533ac'
>>> format(Random().getrandbits(64) - 1, "032x")[:16]
'0000000000000000'
>>> format(Random().getrandbits(64) - 1, "032x")[16:]
'cd60576d046d97a7'