wbmw, perhaps I am old-fashioned in my terminology, but I always considered 'double precision' to mean twice the size of the standard register word. In the case of AMD64, that would mean 128 bits.
So, I decided to see if my use of the language is correct in this case. It is.