Re: 53-bit double