Ist mir nichts bekannt, würde mich aber auch interessieren wenn du was findest. Allerdings könntest du auch ganz fies typecasten, denn ein Double hätte ja 64bit, wenn ich mich recht entsinne und für solcherlei Werte gibt es ja Interlocked-Funktionen.
Allerdings gibt es ja andere Alternativen. Wikipedia hat da
eine Menge zu bieten.