syst_float_set_rounding_mode
void syst_float_set_rounding_mode( fp_rnd );
syst_float_set_rounding_mode( roundingCode );