int64 1228 lib/libkern/softfloat.c float32 int64_to_float32( int64 a ) int64 1261 lib/libkern/softfloat.c float64 int64_to_float64( int64 a ) int64 1284 lib/libkern/softfloat.c floatx80 int64_to_floatx80( int64 a ) int64 1309 lib/libkern/softfloat.c float128 int64_to_float128( int64 a )