use floating-point 64bit