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