09.11.18 13:05, Steven D'Aprano пише: > py> x = cast_int2float(0x7ff0000000000001) > py> x > nan > py> hex(cast_float2int(x)) > '0x7ff8000000000001' I got '0x7ff0000000000001'.