% SZS status Theorem for roundmode2num__
% SZS output start Proof for roundmode2num__
  file('i/f/ieee/roundmode2num__11',ch4s_ieees_roundmode2numu_u_11)).
  file('i/f/ieee/roundmode2num__11',ah4s_ieees_roundmodeu_u_BIJu_c0)).
% SZS output end Proof for roundmode2num__
