>>> (2**(128/2)+1)-2**64
0.0
>>> (2**(64)+1)-2**64
1
>>> (2**(128//2)+1)-2**64
1
>>>