Floating point precision doesn't have to be 64-bit.