Какое выражение в Python эквивалентно `0x1.0p-53`? ⇐ Python

[Anonymous]

Я читаю, что когда xoshiro++ реализован в C для генерации однородных чисел типа double в единичном интервале, 64-битное целое число без знака x должно быть преобразовано в 64-битное число типа double с помощью выражения (x >> 11) * 0x1 .0p-53. Каково соответствующее выражение, если (по извращенным причинам) я хочу реализовать это на Python?

Подробнее здесь: https://stackoverflow.com/questions/784 ... -0x1-0p-53