float64_lt
#define float64_lt _softfloat_float64_lt
#define float64_lt _softfloat_float64_lt
flag float64_lt( float64 a, float64 b )
flag float64_lt( float64 a, float64 b )
#define float64_lt __ltdf2
#define float64_lt _softfloat_float64_lt
flag float64_lt( float64 a, float64 b )