Symbol: floatx80_lt
lib/libc/softfloat/bits64/softfloat.c
4167
flag floatx80_lt( floatx80 a, floatx80 b )
lib/libc/softfloat/softfloat-for-gcc.h
154
#define floatx80_lt __ltxf2