static __inline int ieee754sp_ge(ieee754sp x, ieee754sp y)
static inline int ieee754sp_ge(ieee754sp x, ieee754sp y)
static __inline int ieee754sp_ge(ieee754sp x, ieee754sp y){	return ieee754sp_cmp(x, y, IEEE754_CGT | IEEE754_CEQ, 0);}