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