SZS status Theorem for i/f/float/Val__FLOAT__ROUND__VALOF
