Symbol: floatx80_to_float64
lib/libc/softfloat/bits64/softfloat.c
3478
float64 floatx80_to_float64( floatx80 a )
lib/libc/softfloat/softfloat-for-gcc.h
120
#define floatx80_to_float64 __truncxfdf2