Changed encodeDouble to use either 32 or 64 bit pack, based on static flag.
Removed 16 bit double test, added 64 bit double test.