SZS status Theorem for i/f/float/ERROR__BOUND__BIG
