Right, that was what I was saying in my second part. But they won't reach 32 bits of precision faster (they might actually reach it faster with float64, since each step is more precise). And if you only need 32 bits of precision, there's not much difference between accepting 32 extra wrong bits, and rounding the number down to 32 bits.