impossible to separate 64bit double to 2 32bit parts