ieee754sp_fmax
rv.s = ieee754sp_fmax(fs, ft);
union ieee754sp ieee754sp_fmax(union ieee754sp x, union ieee754sp y);