zero=0000000000000000
neg_zero=8000000000000000
one=3FF0000000000000
neg_one=BFF0000000000000
min_normal=0010000000000000
max=7FEFFFFFFFFFFFFF
pos_inf=7FF0000000000000
neg_inf=FFF0000000000000
nan=7FF8000000000000
