Softfloat float to uint64 conversions