I hesitate to ask, but do float and double mean the same things on 32bit vs 64bit OSes?