use precise 64bit