from math import sqrt
fractional_part = int(str(sqrt(2)).split('.')[1]) # получение дробной части кв. корня из 2
binary_32 = bin(fractional_part)[2:34] # получение первых 32 битов из fractional_part
for_hex = int(binary_32, 2) # hex не принимает недесятичные числа
print(hex(for_hex) == '0x6a09e667') # -> False