1.499999999999999*2^52