3ffc000000000000
3ffd000000000000
4000000000000000
3ff8000000000000