(10^9*2^64-1)*(2^52+1)/2^53