Yea, float is IEEE754 32-bit and double is IEEE754 64-bit.