SZS status Theorem for i/f/float/TWO__EXP__GE__1
