fpu/softfloat.c: Return correctly signed values from uint64_to_float32