If that was an answer, I'd vote it up. I don't think you will find any libraries focused on games supporting doubles, because you never really need vectorized doubles in games.
–
user744Apr 23 '11 at 8:48

Its not strictly for a games dev project - but I usually get better answers on stuff like this here than stackoverflow - over there you just get "premature optimization" answers.
–
JusticleApr 24 '11 at 2:35