% SZS status Theorem for Val__FLOAT__ROUND__VAL
% SZS output start Proof for Val__FLOAT__ROUND__VAL
  file('i/f/float/Val__FLOAT__ROUND__VALOF',ch4s_floats_Valu_u_FLOATu_u_ROUNDu_u_VALOF)).
  file('i/f/float/Val__FLOAT__ROUND__VALOF',ah4s_floats_DEFLOATu_u_FLOATu_u_ROUND)).
  file('i/f/float/Val__FLOAT__ROUND__VALOF',ah4s_ieees_Val0)).
% SZS output end Proof for Val__FLOAT__ROUND__VAL
