uuid.uuid4() коллизия в 1 цифре

Question

Я генерирую UUID следующим образом:

      import uuid
uuid.uuid4().hex

Вот некоторые из сгенерированных UUID (с разных машин и разных версий Python):

      fe072a0a2a59433f9593e21bb4cc2c5f
3c1757516dfd411aad8a5d0291f92bb5
3b12a39e9d1a4cd2a43aa0c4aee41905
            

Я заметил, что цифра 4 всегда находится в одной и той же позиции в UUID.

Насколько я понимаю, токены UUID в соответствии с RFC4122 должны гарантировать «уникальность в пространстве и времени».

Это баг или фича?