softfpu: Add float_round_to_odd_inf