Symbol: float128_to_float64
lib/libc/softfloat/bits64/softfloat.c
4581
float64 float128_to_float64( float128 a )
lib/libc/softfloat/softfloat-for-gcc.h
119
#define float128_to_float64 __trunctfdf2